Sciweavers

113 search results - page 1 / 23
» Semantic Structure: A Basis for Software Architecture
Sort
View
CEEMAS
2007
Springer
13 years 11 months ago
Plugin-Agents as Conceptual Basis for Flexible Software Structures
To allow for flexibility in software structures (architectures) especially plugins and agents are proposed solutions. While plugins are used to support the conceptual and practica...
Lawrence Cabac, Michael Duvigneau, Daniel Moldt, B...
FM
1999
Springer
107views Formal Methods» more  FM 1999»
13 years 9 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...
ICSE
1994
IEEE-ACM
13 years 9 months ago
Formalizing Architectural Connection
As software systems become more complex the overall system structure { or software architecture { becomes a central design problem. An important step towards an engineering discip...
Robert J. Allen, David Garlan
WCRE
1995
IEEE
13 years 8 months ago
Strongest Postcondition Semantics as the Formal Basis for Reverse Engineering
Reverse engineering of program code is the process of constructing a higher level abstraction of an implementation in order to facilitate the understanding of a system that may be...
Gerald C. Gannod, Betty H. C. Cheng