3045 search results - page 29 / 609 » Formal Approaches to Software Architecture |
COMPSAC
2006
IEEE
15 years 4 months ago
2006
IEEE
This paper shows how an architecture description notation that has support for timed events can be used to provide a meta-language for specifying exact communication semantics. Th...
CSEE
2007
Springer
15 years 4 months ago
2007
Springer
This paper reports experiences from an experiment in a software architecture course where the focus was both on giving students valuable education as well as getting important emp...
WETICE
2005
IEEE
15 years 4 months ago
2005
IEEE
Formal specification and verification of security has proven a challenging task. There is no single method that has proven feasible. Instead, an integrated approach which combines...
WICSA
2001
14 years 11 months ago
2001
During the past decade, object-orientation (OO) has become the dominant software development methodology, accompanied by a number of modeling notations, programming languages, and...
ISSTA
2006
ACM
15 years 4 months ago
2006
ACM
In a component-based software system the components are specified, designed and implemented with the intention to be reused, and are assembled in various contexts in order to pro...