8083 search results - page 49 / 1617 » A Formalization of Software Architecture |
FASE
2001
Springer
14 years 3 days ago
2001
Springer
Abstract. UML-RT is an extension of UML for modelling embedded reactive and real-time software systems. Its particular focus lies on system descriptions on the architectural level,...
CSMR
2007
IEEE
14 years 1 months ago
2007
IEEE
The diffusion of service oriented architectures is slowed down by the lack of enough services available for satisfying service integrator needs. Nevertheless, many features desire...
UML
2005
Springer
14 years 1 months ago
2005
Springer
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
SIGSOFT
2007
ACM
14 years 8 months ago
2007
ACM
ZUM
1994
Springer
13 years 11 months ago
1994
Springer
A critical issuein the designof aprofessionalsoftware engineeringdegreeprogram is the way in which formal methods are integrated into the curriculum. The approach taken by most pr...