Software Engineering 1 Abstraction and Modelling /
The art, craft, discipline, logic, practice, and science of developing large-scale software products needs a believable, professional base. The textbooks in this three-volume set combine informal, engineeringly sound practice with the rigour of formal, mathematics-based approaches. Volume 1 covers t...
Main Author: | Bjørner, Dines (Author) |
---|---|
Corporate Author: | SpringerLink (Online service) |
Format: | Electronic eBook |
Language: | English |
Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg,
2006.
|
Series: | Texts in Theoretical Computer Science an EATCS Series,
|
Subjects: | |
Online Access: | Full Text via HEAL-Link |
Similar Items
-
Software Engineering 2 Specification of Systems and Languages /
by: Bjørner, Dines
Published: (2006) -
Software Engineering 3 Domains, Requirements, and Software Design /
by: Bjøner, Dines
Published: (2006) -
Component-Based Software Engineering 7th International Symposium, CBSE 2004, Edinburgh, UK, May 24-25, 2004. Proceedings /
Published: (2004) -
Testing Techniques in Software Engineering Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures /
Published: (2010) -
Model Checking Software 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings /
Published: (2008)