8083 search results - page 229 / 1617 » A Formalization of Software Architecture |
160
click to vote
EDOC
2008
IEEE
16 years 1 months ago
2008
IEEE
Service-Oriented Architectures (SOAs) have become an important cornerstone of the development of enterprise-scale software applications. Although a range of domain-specific langua...
178
click to vote
CAV
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. STP is a decision procedure for the satisfiability of quantifier-free formulas in the theory of bit-vectors and arrays that has been optimized for large problems encoun...
195
click to vote
MATES
2004
Springer
15 years 12 months ago
2004
Springer
Most of the Agent-Oriented software engineering methodologies that have been developed in the last years tend to propose a model-based approach to software development. To be put i...