Modular specification of encapsulated object-oriented components

Saved in:
Bibliographic Details
Published inLecture notes in computer science pp. 313 - 341
Main Authors POETZSCH-HEFFTER, Arnd, SCHÄFER, Jan
Format Conference Proceeding
LanguageEnglish
Published Berlin Springer 2006
Subjects
Applied sciences
Computer science; control theory; systems
Exact sciences and technology
Software
Software engineering
Encapsulation
Invariant
Educational software program
Formal method
Software development
Behavioral analysis
Semantics
Object oriented
Modular programming
Software component
Online AccessGet full text
ISBN9783540367499
3540367497
ISSN0302-9743

Cover

More Information
ISBN:9783540367499
3540367497
ISSN:0302-9743