Sciweavers

8083 search results - page 44 / 1617
» A Formalization of Software Architecture
Sort
View
FASE
2008
Springer
13 years 9 months ago
HOL-OCL: A Formal Proof Environment for UML/OCL
Achim D. Brucker, Burkhart Wolff
SAC
2003
ACM
14 years 26 days ago
Eliciting Coordination Policies from Requirements
Software coordination models and languages describe how agents, resources and processes work together to implement a software system. One of their limitations is that they are use...
Henry Muccini, Fabio Mancinelli
ECWEB
2005
Springer
102views ECommerce» more  ECWEB 2005»
14 years 1 months ago
Improving Web Design Methods with Architecture Modeling
Many approaches have been developed for modeling the functional aspects of Web applications, but there is a lack of a modeling language for their architectural concerns. This paper...
Santiago Meliá, Jaime Gómez, Nora Ko...