8083 search results - page 80 / 1617 » A Formalization of Software Architecture |
71
Voted
DAGSTUHL
2004
15 years 2 months ago
2004
109
click to vote
FMCO
2006
Springer
15 years 4 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...
123
Voted
IWSAPF
2000
15 years 4 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...
84
Voted
MODELS
2009
Springer
15 years 7 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 ...
87
Voted
KBSE
2005
IEEE
15 years 6 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...