Sciweavers

9974 search results - page 181 / 1995
» Software Interconnection Models
Sort
View
EWSA
2004
Springer
15 years 11 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
TSE
2002
87views more  TSE 2002»
15 years 6 months ago
A Formal Model of the Software Test Process
João W. Cangussu, Raymond A. DeCarlo, Adity...
EUROMICRO
2005
IEEE
16 years 1 days 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
TASE
2007
IEEE
16 years 21 days 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 ...
ESWS
2008
Springer
15 years 8 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