Sciweavers

8083 search results - page 52 / 1617
» A Formalization of Software Architecture
Sort
View
ICSE
2009
IEEE-ACM
13 years 5 months ago
A formal model for self-adaptive and self-healing organizations
Robrecht Haesevoets, Danny Weyns, Tom Holvoet, Wou...
TSE
2002
168views more  TSE 2002»
13 years 7 months ago
A Survey on Software Architecture Analysis Methods
Liliana Dobrica, Eila Niemelä
BIRTHDAY
2010
Springer
13 years 6 months ago
The Architecture Description Language MoDeL
m, modules, types and operations), different kinds of abstractions (functional/data, types/objects etc.) without falling into a loose collection of diagram languages. Considering a...
Peter Klein
JSS
2010
120views more  JSS 2010»
13 years 2 months ago
Handling communications in process algebraic architectural description languages: Modeling, verification, and implementation
Architectural description languages are a useful tool for modeling complex systems at a high level of abstraction. If based on formal methods, they can also serve for enabling the...
Marco Bernardo, Edoardo Bontà, Alessandro A...
ICSE
2003
IEEE-ACM
14 years 25 days ago
Architecture as an Emergent Property of Requirements Integration
Functional requirements contain, and systems exhibit, the behavior summarized below.Despite the advances in software engineering since 1968, how to go from a set of functional req...
R. Geoff Dromey