Correct by construction components or: Would Nasreddin use components?

Conference Proceedings of the EUROMICRO

Volumn , Issue , 2003, Pages 12-

  Suenbuel, Asuman ^a  

^a KESTREL INSTITUTE   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPONENT BASED; COMPONENT-BASED SOFTWARE DEVELOPMENT; CORRECT-BY-CONSTRUCTION; DESIGN OF SOFTWARES; DEVELOPMENT PROCESS; SERVICE LAYERS; SYSTEM SPECIFICATION; TRADITIONAL APPROACHES;

MODEL CHECKING; SPECIFICATIONS;

LIQUID MEMBRANES;

EID: 84889606123     PISSN: 10896503     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/EURMIC.2003.1231560     Document Type: Conference Paper

References (4)

1. M. Anlauff. Xasm-An Extensible, Component-Based Abstract State Machines Language. Proceedings of the ASM 2000 Workshop, LNCS 1912
2. I. Crnkovic, H. Schmidt, J. Stafford, and K. Wallnau. Component Certification and System Prediction. 4th ICSE Workshop on Component-Based Softw. Engineering,2003
3. A. Suenbuel, Architectural Design of Evolutionary Software Systems in Continuous Software Engineering, DAV, September 2001, ISBN 3-935316-84-4
4. B. J. Krämer, R. H. Reussner, and H.-W. Schmidt: Predicting Properties of Component Based Software Architectures through Parameterized Contracts in: M. Wirsing, S. Balsamo (Eds. ) Radical Innovations of Software and Systems Engineering in the Future, 2002