8083 search results - page 78 / 1617 » A Formalization of Software Architecture |
68
Voted
DATE
2003
IEEE
15 years 5 months ago
2003
IEEE
99
Voted
IIWAS
2008
15 years 2 months ago
2008
In a service-oriented architecture, systems communicate by exchanging messages. In this work, we propose a formal model based on OCL-constrained UML Class diagrams and a methodolo...
158
Voted
AMAST
1997
Springer
15 years 4 months ago
1997
Springer
Abstract. We summarize the results of several experiments in applying a metamethod for formal method integration [18, 19]. We provide a small example of using an instance of integr...
PASTE
2005
ACM
15 years 6 months ago
2005
ACM
Today, many formal analysis tools are not only used to provide certainty but are also used to debug software systems – a role that has traditional been reserved for testing tool...