Software Engineering 2 Specification of Systems and Languages /
The art, craft, discipline, logic, practice and science of developing large-scale software products needs a professional base. The textbooks in this three-volume set combine informal, engineeringly sound approaches with the rigor of formal, mathematics-based approaches. This volume covers the basic...
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 1 Abstraction and Modelling /
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) -
Categories for Software Engineering
by: Fiadeiro, José Luiz
Published: (2005)