Books on the topic 'Computer-aided software engineering Australia'

Wadhwa, Lal C. Transportation software in Australia: A sourcebook. Townsville, Qld., Australia: James Cook University of North Queensland, 1987.

Jonathan, Gray, and Croll Peter, eds. Proceedings, International Conference on Software Methods and Tools: SMT 2000 : Wollongong, Australia, 6-9 November 2000. Los Alamitos, Calif: IEEE Computer Society, 2000.

A, Strooper Paul, Muenchaisri Pornsiri, Australian Computer Society, and Bond University (Gold Coast, Qld.), eds. APSEC 2002: Ninth Asia-Pacific Software Engineering Conference : 4-5 December, 2002, Gold Coast, Australia. Los Alamitos, California: IEEE Computer Society, 2002.

IEEE International Conference on Formal Engineering Methods (2nd 1998 Brisbane, Qld.). Second International Conference on Formal Engineering Methods: Proceedings : December 9-11, 1998, Brisbane, Australia. Los Alamitos, California: IEEE Computer Society Press, 1998.

David, Hutchison. Implementation and Application of Automata: 14th International Conference, CIAA 2009, Sydney, Australia, July 14-17, 2009. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009.

International, 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. [New York, NY.]: ACM Press, 1992.

Gianluca, Moro, Sartori Claudio 1956-, and Singh Munindar P. 1964-, eds. Agents and peer-to-peer computing: Second international workshop, AP2PC 2003, Melbourne, Australia, July 14, 2003 : revised and invited papers. Berlin: Springer, 2004.

International, 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. Berlin: Springer, 2008.

Michael, 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. Berlin: Springer-Verlag, 1997.

Xiang, Yang. Algorithms and Architectures for Parallel Processing: 11th International Conference, ICA300 2011, Melbourne, Australia, October 24-26, 2011, Proceedings, Part II. Berlin, Heidelberg: Springer-Verlag GmbH Berlin Heidelberg, 2011.

Reiko, Heckel, and SpringerLink (Online service), eds. Web Services and Formal Methods: 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2008.

Weiming, Shen, ed. Computer supported cooperative work in design IV: 11th international conference, CSCWD 2007 : Melbourne, Australia, April 26-28, 2007 : revised selected papers. Berlin: Springer, 2008.

Muller, Hausi. Computer Aided Software Engineering. Boston, MA: Springer US, 1996.

Muller, Hausi, Ronald J. Norman, and Jacob Slonim, eds. Computer Aided Software Engineering. Boston, MA: Springer US, 1996. http://dx.doi.org/10.1007/978-1-4613-1439-4.

A, Müller Hausi, Norman Ronald J, and Slonim Jacob 1945-, eds. Computer aided software engineering. Boston: Kluwer Academic Publishers, 1996.

Chikofsky, Elliot J. Computer-aided software engineering (CASE). 2nd ed. Los Alamitos, Calif: IEEE Computer Society Press, 1993.

Computer-aided software engineering (CASE). Washington, D.C: IEEE Computer Society Press, 1989.

CASE: Computer-aided software engineering. New York: Van Nostrand Reinhold, 1991.

M, González Nieto Juan, ed. Autonomic and trusted computing: 6th international conference, ATC 2009 Brisbane, Australia, July 7-9, 2009 proceedings. New York: Springer, 2009.

N, Earl Anthony, and McDermid John, eds. Software engineering environments: Automated support for software engineering. London: McGraw-Hill, 1992.

Sammarco, John J. Computer-aided software engineering (CASE) for software automation. [Washington, D.C.]: U.S. Dept. of the Interior, Bureau of Mines, 1990.

Jadwiga, Indulska, ed. Pervasive computing: 6th international conference, Pervasive 2008, Sydney, Australia, May 19-22, 2008 : proceedings. Berlin: Springer, 2008.

Max, 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. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.

Hildebrand, Knut. Software Tools: Automatisierung im Software Engineering : eine umfassende Darstellung der Einsatzmöglichkeiten von Software-Entwicklungswerkzeugen. Berlin: Springer-Verlag, 1990.

Bernus, 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. Berlin, Heidelberg: IFIP International Federation for Information Processing, 2010.

Schindler, Max J. Computer-aided software design: Build quality software with CASE. New York: Wiley, 1990.

Broughton, D. computer-aided software engineering (case) critical success factors. London: University of East London, 1992.

McClure, Carma L. CASE is software automation. Englewood Cliffs, N.J: Prentice Hall, 1989.

Shiller, Larry. Software excellence. Englewood Cliffs, N.J: Yourdon Press, 1990.

Pries-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. Berlin, Heidelberg: IFIP International Federation for Information Processing, 2010.

Kaufmann, Matt. Computer-Aided Reasoning: An Approach. Boston, MA: Springer US, 2000.

International Workshop on Computer-Aided Software Engineering (6th 1993 Singapore). Workshop report of the Sixth International Workshop on Computer-Aided Software Engineering, CASE '93. [Burlington, MA] (P.O. Box 400, Burlington 01803): International Workshop on CASE, 1993.

AOIS, 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. Berlin: Springer, 2004.

Krishnamoorthy, C. S. Computer aided design: Software and analytical tools. Berlin: Springer-Verlag, 1992.

Computer aided design: Software and analytical tools. 2nd ed. Great Britain: Alpha Science Intl Ltd, 2005.

Krishnamoorthy, C. S. Computer aided design: Software and analytical tools. New Delhi: Narosa Pub. House, 1991.

Case, Albert F. Information systems development: Principles of computer-aided software engineering. Englewood Cliffs, N.J: Prentice-Hall, 1986.

Li, Yau-Tsun Steven. Performance Analysis of Real-Time Embedded Software. Boston, MA: Springer US, 1999.

Kurshan, Robert. Computer-Aided Verification: A Special Issue of Formal Methods In System Design on Computer-Aided Verification. Boston, MA: Springer US, 1993.

DeGrace, Peter. The Olduvai imperative: CASE and the state of software engineering practice. Englewood Cliffs,NJ: Prentice-Hall, 1993.

Hulet, Stahl Leslie, ed. The Olduvai imperative: CASE and the state of software engineering practice. Englewood Cliffs, N.J: Yourdon Press, 1993.

Bayramoğlu, Suleyman. The design and implementation of an expander for the hierarchical real-time constraints of computer aided prototyping system. Monterey, Calif: Naval Postgraduate School, 1991.

An approach to modelling software evolution processes =: Ruan jian yan hua gong chen jian mo. Beijing: Tsinghua University Press, 2008.

(Editor), Jonathan Gray, and Peter Croll (Editor), eds. Software Methods and Tools (Smt 2000): Proceedings Held Wollongong, Australia, 6-9 November 2000. Ieee, 2000.

9th Asia-Pacific Software Engineering Conference: Gold Coast, Australia, 4-6 December 2002. Ieee, 2002.

Odell, 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.

Asia Pacific Software Engineering Conference 1995: Proceedings : December 6-9, 1995, Brisbane, Australia. Institute of Electrical & Electronics Enginee, 1996.

Second International Conference on Formal Engineering Methods: Proceedings : December 9-11, 1998, Brisbane, Australia. IEEE Computer Society Press, 1998.

(Editor), Paolo Giorgini, Jörg P. Müller (Editor), and James Odell (Editor), eds. Agent-Oriented Software Engineering IV: 4th International Workshop, AOSE 2003, Melbourne, Australia, July 15, 2003, Revised Papers (Lecture Notes in Computer Science). Springer, 2004.

Johnson, Michael. Algebraic Methodology and Software Technology: 6th International Conference, AMAST '97, Sydney, Australia, Dezember 13-17, 1997. Proceedings. Springer, 2014.