8083 search results - page 80 / 1617 » A Formalization of Software Architecture |
DAGSTUHL
2004
13 years 9 months ago
2004
FMCO
2006
Springer
13 years 11 months ago
2006
Springer
This paper is a tutorial on performing formal specification and semi-automatic verification of Java programs with the formal software development tool KeY. This tutorial aims to fi...
IWSAPF
2000
13 years 11 months ago
2000
The creation and validation of product line software architectures are inherently more complex than those of software architectures for single systems. This paper compares a proces...
MODELS
2009
Springer
14 years 2 months ago
2009
Springer
The second ACES-MB workshop brought together researchers and practitioners interested in model-based software engineering for realtime embedded systems, with a particular focus on ...
KBSE
2005
IEEE
14 years 1 months ago
2005
IEEE
Model merging is an important activity in software development. We often need to integrate a set of models coming from different sources so as to create a unified model encompass...