Sciweavers

8083 search results - page 44 / 1617
» A Formalization of Software Architecture
Sort
View
FASE
2008
Springer
15 years 2 months ago
HOL-OCL: A Formal Proof Environment for UML/OCL
Achim D. Brucker, Burkhart Wolff
SAC
2003
ACM
15 years 5 months 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
90
Voted
ECWEB
2005
Springer
102views ECommerce» more  ECWEB 2005»
15 years 6 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...