Sciweavers

3045 search results - page 94 / 609
» Formal Approaches to Software Architecture
Sort
View
JCIT
2008
136views more  JCIT 2008»
14 years 11 months ago
ARMMS - Architecture Reference Model for Multilingual Software
Multilingual software development is put in limelight due to the globalization efforts of the organization. But these development approaches do not have any reference model or fra...
V. Prasanna Venkatesan, S. Kuppuswami
ICSE
2011
IEEE-ACM
14 years 2 months ago
Leveraging software architectures to guide and verify the development of sense/compute/control applications
A software architecture describes the structure of a computing system by specifying software components and their interactions. Mapping a software architecture to an implementatio...
Damien Cassou, Emilie Balland, Charles Consel, Jul...
ICSM
2003
IEEE
15 years 4 months ago
On Modeling Software Architecture Recovery as Graph Matching
This paper presents a graph matching model for the software architecture recovery problem. Because of their expressiveness, the graphs have been widely used for representing both ...
Kamran Sartipi, Kostas Kontogiannis
ICST
2009
IEEE
14 years 8 months ago
Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
Emine G. Aydal, Richard F. Paige, Mark Utting, Jim...
VL
2005
IEEE
107views Visual Languages» more  VL 2005»
15 years 4 months ago
Navigating Software Architectures with Constant Visual Complexity
Abstract— Visualizing software architecture faces the challenges of both data complexity and visual complexity. This paper presents an approach for visualizing software architect...
Wanchun Li, Peter Eades, Seok-Hee Hong