Sciweavers

2424 search results - page 176 / 485
» The High Level Architecture for Simulations
Sort
View
FM
1999
Springer
107views Formal Methods» more  FM 1999»
15 years 10 months ago
A Formalization of Software Architecture
Software architecture addresses the high level specification, design and analysis of software systems. Formal models can provide essential underpinning for architectural descripti...
John Herbert, Bruno Dutertre, Robert A. Riemenschn...
CSMR
2004
IEEE
15 years 9 months ago
A Distributed Architecture for Dynamic Analyses on User-Profile Data
Combining static and dynamic information is highly relevant in many reverse engineering, program comprehension and maintenance task. Dynamic analysis is particularly effective whe...
Giuliano Antoniol, Massimiliano Di Penta
ECSA
2008
Springer
15 years 7 months ago
Non-synchronous Communications in Process Algebraic Architectural Description Languages
Abstract. Architectural description languages are a useful tool for modmplex software systems at a high level of abstraction and, if based on formal methods, for enabling the early...
Marco Bernardo, Edoardo Bontà
CSMR
2010
IEEE
15 years 28 days ago
Using Architecturally Significant Requirements for Guiding System Evolution
Rapidly changing technology is one of the key triggers of system evolution. Some examples are: physically relocating a data center; replacement of infrastructure such as migrating ...
Ipek Ozkaya, J. Andrés Díaz Pace, Ar...
ESWS
2005
Springer
15 years 11 months ago
Feta: A Light-Weight Architecture for User Oriented Semantic Service Discovery
Semantic Web Services offer the possibility of highly flexible web service architectures, where new services can be quickly discovered, orchestrated and composed into workflows....
Phillip W. Lord, Pinar Alper, Chris Wroe, Carole A...