Sciweavers

3045 search results - page 98 / 609
» Formal Approaches to Software Architecture
Sort
View
SERP
2004
15 years 12 days ago
A Petri Net Based Software Architecture for UAV Simulation
This paper presents a Petri net-based hierarchical architecture for multiple Unmanned Aerial Vehicle (UAV) simulations in order to facilitate rapid prototyping via visual modeling...
Dianxiang Xu, Priti Borse, Ken Grigsby, Kendall E....
ISSTA
2006
ACM
15 years 5 months ago
Analyzing architectural styles with alloy
The backbone of many architectures is an architectural style that provides a domain-specific design vocabulary and set of constraints on how that vocabulary can be used. Hence, d...
Jung Soo Kim, David Garlan
WOSS
2004
ACM
15 years 4 months ago
Towards preserving correctness in self-managed software systems
Currently, paradigms such as component-based software development and service-oriented software architectures promote modularization of software systems into highly decoupled and ...
Lieven Desmet, Nico Janssens, Sam Michiels, Frank ...
WICSA
2008
15 years 14 days ago
"The 3+1 Views of Architecture (in 3D)": An Amplification of the 4+1 Viewpoint Framework
Processes and techniques for the development of enterprise software are best served when infused with practical experience. Pragmatic reflection on what works and what doesn'...
Mark Kennaley
WICSA
2001
15 years 12 days ago
Interface-Centric Architecture Descriptions
This paper presents an approach to defining component-based software architectures in which interfaces rather than components play the key role. Architectural descriptions are bui...
Hans Jonkers