Sciweavers

9974 search results - page 181 / 1995
» Software Interconnection Models
Sort
View
108
Voted
EWSA
2004
Springer
15 years 8 months ago
Model Checking for Software Architectures
Abstract. Software architectures are engineering artifacts which provide high-level descriptions of complex systems. Certain recent architecture description languages (Adls) allow ...
Radu Mateescu
109
Voted
TSE
2002
87views more  TSE 2002»
15 years 2 months ago
A Formal Model of the Software Test Process
João W. Cangussu, Raymond A. DeCarlo, Adity...
109
Voted
EUROMICRO
2005
IEEE
15 years 8 months ago
A Taxonomy of Software Component Models
CBSE currently lacks a universally accepted terminology. Existing component models adopt different component definitions and composition operators. We believe that for future res...
Kung-Kiu Lau, Zheng Wang
135
Voted
TASE
2007
IEEE
15 years 9 months ago
Model Checking Software at Compile Time
Software has been under scrutiny by the verification community from various angles in the recent past. There are two major algorithmic approaches to ensure the correctness of and...
Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel ...
138
Voted
ESWS
2008
Springer
15 years 4 months ago
An Ontology for Software Models and Its Practical Implications for Semantic Web Reasoning
Ontology-Driven Software Development (ODSD) advocates using ontologies for capturing knowledge about a software system at development time. So far, ODSD approaches have mainly focu...
Matthias Bräuer, Henrik Lochmann