Books on the topic 'Computer-aided software engineering Australia'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 books for your research on the topic 'Computer-aided software engineering Australia.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse books on a wide variety of disciplines and organise your bibliography correctly.
Wadhwa, Lal C. Transportation software in Australia: A sourcebook. James Cook University of North Queensland, 1987.
Find full textIEEE International Conference on Formal Engineering Methods (2nd 1998 Brisbane, Qld.). Second International Conference on Formal Engineering Methods: Proceedings : December 9-11, 1998, Brisbane, Australia. IEEE Computer Society Press, 1998.
Find full textDavid, Hutchison. Implementation and Application of Automata: 14th International Conference, CIAA 2009, Sydney, Australia, July 14-17, 2009. Proceedings. Springer Berlin Heidelberg, 2009.
Find full textInternational, Conference on Software Maintenance (14th 1992 Melbourne Vic ). 14th International Conference on Software Engineering, May 11-15, 1992, Melbourne, Australia ; sponsored by Association for Computing Machinery Sigsoft, IEEE Computer Society. ACM Press, 1992.
Find full textQld.) International Conference on Software Engineering and Formal Methods (1st 2003 Brisbane. First International Conference on Software Engineering and Formal Methods: Proceedings : Brisbane, Australia, September 22 to 27, 2003. IEEE Computer Society, 2003.
Find full textInternational, Conference on Computer Supported Cooperative Work in Design (11th 2007 Melbourne Vic ). Computer supported cooperative work in design IV: 11th international conference, CSCWD 2007 : Melbourne, Australia, April 26-28, 2007 : revised selected papers. Springer, 2008.
Find full textXiang, Yang. Algorithms and Architectures for Parallel Processing: 11th International Conference, ICA300 2011, Melbourne, Australia, October 24-26, 2011, Proceedings, Part II. Springer-Verlag GmbH Berlin Heidelberg, 2011.
Find full textMichael, Johnson, and International Conference on Algebraic Methodology and Software Technology (6th : 1997 : Sydney, Australia), eds. Algebraic methodology and software technology: 6th international conference, AMAST '97, Sydney, Australia, December 13-17, 1997 : proceedings. Springer-Verlag, 1997.
Find full textMuller, Hausi, Ronald J. Norman, and Jacob Slonim, eds. Computer Aided Software Engineering. Springer US, 1996. http://dx.doi.org/10.1007/978-1-4613-1439-4.
Full textA, Müller Hausi, Norman Ronald J, and Slonim Jacob 1945-, eds. Computer aided software engineering. Kluwer Academic Publishers, 1996.
Find full textReiko, Heckel, and SpringerLink (Online service), eds. Web Services and Formal Methods: 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings. Springer-Verlag Berlin Heidelberg, 2008.
Find full textChikofsky, Elliot J. Computer-aided software engineering (CASE). 2nd ed. IEEE Computer Society Press, 1993.
Find full textJerzy, Rozenblit, and Buchenrieder Klaus, eds. Codesign: Computer aided software/hardware engineering. IEEE Press, 1995.
Find full textSammarco, John J. Computer-aided software engineering (CASE) for software automation. U.S. Dept. of the Interior, Bureau of Mines, 1990.
Find full text1943-, Ramakrishnan C. V., Varadarajan A. 1941-, and Desai C. S. 1936-, eds. Engineering software. Narosa Pub. House, 1989.
Find full textMax, Ott, Seneviratne Aruna, and SpringerLink (Online service), eds. Mobile and Ubiquitous Systems: Computing, Networking, and Services: 7th International ICST Conference, MobiQuitous 2010, Sydeny, Australia, December 6-9, 2010, Revised Selected Papers. Springer Berlin Heidelberg, 2012.
Find full textBernus, Péter. Enterprise Architecture, Integration and Interoperability: IFIP TC 5 International Conference, EAI2N 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings. IFIP International Federation for Information Processing, 2010.
Find full textAthman, Bouguettaya, Krüger Ingolf H, and Margaria-Steffen Tiziana 1964-, eds. Service-oriented computing - ICSOC 2008: 6th international conference, Sydney, Australia, December 1-5, 2008 : proceedings. Springer, 2008.
Find full textHildebrand, Knut. Software Tools: Automatisierung im Software Engineering : eine umfassende Darstellung der Einsatzmöglichkeiten von Software-Entwicklungswerkzeugen. Springer-Verlag, 1990.
Find full textSchindler, Max J. Computer-aided software design: Build quality software with CASE. Wiley, 1990.
Find full textPries-Heje, Jan. Human Benefit through the Diffusion of Information Systems Design Science Research: IFIP WG 8.2/8.6 International Working Conference, Perth, Australia, March 30 – April 1, 2010. Proceedings. IFIP International Federation for Information Processing, 2010.
Find full textBroughton, D. computer-aided software engineering (case) critical success factors. University of East London, 1992.
Find full textAOIS, 2003 (2003 Melbourne Vic and Chicago Ill ). Agent-oriented information systems: 5th international bi-conference workshop, AOIS 2003, Melbourne, Australia, July 14, 2003 and Chicago, IL, USA, October 13, 2003 : revised selected papers. Springer, 2004.
Find full textInternational Workshop on Computer-Aided Software Engineering (6th 1993 Singapore). Workshop report of the Sixth International Workshop on Computer-Aided Software Engineering, CASE '93. International Workshop on CASE, 1993.
Find full textKrishnamoorthy, C. S. Computer aided design: Software and analytical tools. Narosa Pub. House, 1991.
Find full textKrishnamoorthy, C. S. Computer aided design: Software and analytical tools. Springer-Verlag, 1992.
Find full textCase, Albert F. Information systems development: Principles of computer-aided software engineering. Prentice-Hall, 1986.
Find full textLi, Yau-Tsun Steven. Performance Analysis of Real-Time Embedded Software. Springer US, 1999.
Find full textKurshan, Robert. Computer-Aided Verification: A Special Issue of Formal Methods In System Design on Computer-Aided Verification. Springer US, 1993.
Find full textDeGrace, Peter. The Olduvai imperative: CASE and the state of software engineering practice. Prentice-Hall, 1993.
Find full textBayramoğlu, Suleyman. The design and implementation of an expander for the hierarchical real-time constraints of computer aided prototyping system. Naval Postgraduate School, 1991.
Find full textFilʹchakov, V. V. (Vladimir Vasilʹevich) та Fridman A. I͡A, ред. CASE-tekhnologii vychislitelʹnogo ėksperimenta. Kolʹskiĭ nauch. t͡sentr RAN, 1994.
Find full textL, Humar J., Wright Whitman, and Canadian Society for Civil Engineering. Computer Applications Division., eds. Directory of commercial computer software for civil engineering. Canadian Society for Civil Engineering, Computer Applications Division, 1991.
Find full textInternational Workshop on Software Technology and Engineering Practice (8th 1997 London, England). Proceedings: Eighth IEEE International Workshop on Software Technology and Engineering Practice, incorporating Computer Aided Software Engineering, July 14-18, 1997, London, UK. IEEE Computer Society Press, 1997.
Find full text9th Asia-Pacific Software Engineering Conference: Gold Coast, Australia, 4-6 December 2002. Ieee, 2002.
Find full text(Editor), Jonathan Gray, and Peter Croll (Editor), eds. Software Methods and Tools (Smt 2000): Proceedings Held Wollongong, Australia, 6-9 November 2000. Ieee, 2000.
Find full textOdell, James, Jörg Müller, and Paolo Giorgini. Agent-Oriented Software Engineering IV: 4th International Workshop, AOSE 2003, Melbourne, Australia, July 15, 2003, Revised Papers. Springer London, Limited, 2003.
Find full textSecond International Conference on Formal Engineering Methods: Proceedings : December 9-11, 1998, Brisbane, Australia. IEEE Computer Society Press, 1998.
Find full textJohnson, Michael. Algebraic Methodology and Software Technology: 6th International Conference, AMAST '97, Sydney, Australia, Dezember 13-17, 1997. Proceedings. Springer, 2014.
Find full textAlgorithms And Architectures For Parallel Processing 11th International Conference Ica3pp 2011 Melbourne Australia October 2426 2011 Proceedings. Springer, 2011.
Find full textLiu, Shaoying, Zhenhua Duan, Cong Tian, and Fumiko Nagoya. Structured Object-Oriented Formal Language and Method: 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, ... Springer, 2019.
Find full textWeb Information Systems Engineering Wise 2011 12th International Conference Sydney Australia October 1314 2011 Proceedings. Springer, 2011.
Find full textNorman, Ronald J., Jacob Slonim, and Hausi A. Muller. Computer Aided Software Engineering. Springer, 2011.
Find full textDurham, Tony, and Julian Hewett. Computer Aided Software Engineering. Ovum Ltd, 1987.
Find full textHogan, James, Marcus Gallagher, and Frederic Maire. Intelligent Data Engineering and Automated Learning - IDEAL 2005: 6th International Conference, Brisbane, Australia, July 6-8, 2005, Proceedings. Springer London, Limited, 2005.
Find full text