Validated Designs for Object-oriented Systems

Validated Designs for Object-oriented Systems

Show other versions (1)

Bibliographic Details
Main Author:	Fitzgerald, John
Other Authors:	Larsen, Peter Gorm, Mukherjee, Paul, Plat, Nico, Verhoef, Marcel
Format:	Electronic Kit Book
Language:	English
Published:	London Springer-Verlag London Limited 2005
Subjects:	Software engineering Computational complexity Computer Science Software Engineering/Programming and Operating Systems Software Engineering Discrete Mathematics in Computer Science
Online Access:	http://dx.doi.org/10.1007/b138800

Similar Items

Mathematical Approaches to Software Quality
by: OβRegan, Gerard
Published: (2006)

Formal Models of Operating System Kernels
by: Craig, Iain D.
Published: (2007)

Thriving Systems Theory and Metaphor-Driven Modeling
by: Waguespack, Leslie J
Published: (2010)

Mathematical Software β ICMS 2010 Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings
by: Fukuda, Komei
Published: (2010)

Agile Software Construction
by: Hunt, John
Published: (2006)

Frontiers in Algorithmics 4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010. Proceedings
by: Lee, Der-Tsai
Published: (2010)

Fundamentals of Algebraic Graph Transformation
by: Ehrig, Hartmut
Published: (2006)

Beginning Java Objects From Concepts to Code
by: Barker, Jacquie
Published: (2005)

A Process Algebraic Approach to Software Architecture Design
by: Aldini, Alessandro
Published: (2010)

Graph Transformations 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27βOctober 2, 2010. Proceedings
by: Ehrig, Hartmut
Published: (2010)

Internet and Network Economics 6th International Workshop, WINE 2010, Stanford, CA, USA, December 13-17, 2010. Proceedings
by: Saberi, Amin
Published: (2010)

Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II
by: Abramsky, Samson, 1953-
Published: (2010)

Guide to Assembly Language Programming in Linux
by: Dandamudi, Sivarama P.
Published: (2005)

Reverse Engineering of Object Oriented Code
by: Tonella, Paolo
Published: (2005)

Principles of Distributed Systems 14th International Conference, OPODIS 2010, Tozeur, Tunisia, December 14-17, 2010. Proceedings
by: Lu, Chenyang
Published: (2010)

ECOOP 2010 β Object-Oriented Programming 24th European Conference, Maribor, Slovenia, June 21-25, 2010. Proceedings
by: DβHondt, Theo
Published: (2010)

Formal Methods for Components and Objects 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers
by: Boer, Frank S.
Published: (2010)

SAP fΓΌr Java-Entwickler Konzepte, Schnittstellen, Technologien
by: Jeske, Till
Published: (2005)

Pro Spring
by: Harrop, Rob
Published: (2005)

Painless Project Management with FogBugz
by: Gunderloy, Mike
Published: (2005)

Open Source Messaging Application Development Building and Extending Gaim
by: Egan, Sean
Published: (2005)

Pro OpenSSH
by: Stahnke, Michael
Published: (2006)

Beginning Java EE 5 From Novice to Professional
by: Mukhar, Kevin
Published: (2006)

Beginning Databases with PostgreSQL From Novice to Professional
by: Matthew, Neil
Published: (2005)

Shell Scripting Recipes A Problem-Solution Approach
by: Johnson, Chris F. A.
Published: (2005)

Pro Eclipse JST Plug-ins for J2EE Development
by: Judd, Christopher M.
Published: (2005)

Advanced Software Engineering: Expanding the Frontiers of Software Technology IFIP 19th World Computer Congress, First International Workshop on Advanced Software Engineering, August 25, 2006, Santiago, Chile
by: Ochoa, Sergio F.
Published: (2006)

Building Online Communities with Drupal, phpBB, and WordPress
by: Douglass, Robert T.
Published: (2006)

Micro-ISV From Vision to Reality
by: Walsh, Bob
Published: (2006)

Excel Pivot Tables Recipe Book A Problem-Solution Approach
by: Dalgleisch, Debra
Published: (2006)

Network and Parallel Computing IFIP International Conference, NPC 2010, Zhengzhou, China, September 13-15, 2010. Proceedings
by: Ding, Chen
Published: (2010)

Verification, Model Checking, and Abstract Interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings
by: Barthe, Gilles
Published: (2010)

Job Scheduling Strategies for Parallel Processing 15th International Workshop, JSSPP 2010, Atlanta, GA, USA, April 23, 2010, Revised Selected Papers
by: Frachtenberg, Eitan
Published: (2010)

Pro Python
by: Alchin, Marty
Published: (2010)

Parallel Processing and Applied Mathematics 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Revised Selected Papers, Part II
by: Wyrzykowski, Roman
Published: (2010)

Parallel Processing and Applied Mathematics 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009. Revised Selected Papers, Part I
by: Wyrzykowski, Roman
Published: (2010)

Multimedia Introduction to Programming Using Java
by: Gries, David
Published: (2005)

An Integrated Approach to Software Engineering
by: Jalote, Pankaj
Published: (2005)

Validated Designs for Object-oriented Systems
by: Fitzgerald, John, et al.
Published: (2005)

Architecting Dependable Systems VII
by: Casimiro, Antonio
Published: (2010)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών