2813 search results - page 57 / 563 » Formalizing Architectural Connection |
112
click to vote
ICSM
1996
IEEE
15 years 6 months ago
1996
IEEE
Reverse engineering of program code is the process of constructing a higher level abstraction of an implementation in order to facilitate the understanding of a system that may be...
103
click to vote
CN
2002
15 years 2 months ago
2002
We survey formal methods as they are applied to the development of communication services. We report on industrial and academic projects, consider di erent communication architect...
103
click to vote
DATE
2009
IEEE
15 years 9 months ago
2009
IEEE
—AADL is an Architecture Description Language which describes embedded real-time systems. Behavior annex is an extension of the dispatch mechanism of AADL execution model. This p...
111
Voted
TPHOL
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract We present the generic system framework of Isabelle/Isar underlying recent versions of Isabelle. Among other things, Isar provides an infrastructure for Isabelle plug-ins,...
121
Voted
CAISE
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Web services are increasingly used for building enterprise information systems according to the Service Oriented Architecture (Soa) paradigm. We propose in this paper a t...