Sciweavers

12670 search results - page 133 / 2534
» Requirements Modeling
Sort
View
110
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
149
Voted
ICLP
2004
Springer
15 years 8 months ago
Applying CLP to Predict Extra-Functional Properties of Component-Based Models
A component is the basic re-usable unit of composition to build composite systems by connecting to others through their provided and required ports. Checking the functional complia...
Olivier Defour, Jean-Marc Jézéquel, ...
122
Voted
CBSE
2009
Springer
15 years 10 months ago
Selecting Fault Tolerant Styles for Third-Party Components with Model Checking Support
To build highly available or reliable applications out of unreliable third-party components, some software-implemented fault-tolerant mechanisms are introduced to gracefully deal w...
Junguo Li, Xiangping Chen, Gang Huang, Hong Mei, F...
ER
2008
Springer
96views Database» more  ER 2008»
15 years 5 months ago
A Quality Circle Tool for Software Models
The quality management of software models is an important issue. As a preparative task, the quality circle requires quality planning. After that a software model can repeat the seq...
Hendrik Voigt, Thomas Ruhroth
102
Voted
DC
2001
15 years 4 months ago
A Metadata Case Study for the FRBR Model Based on Chinese Painting and Calligraphy at the National Palace Museum in Taipei
In 1998, the Functional Requirements for Bibliographic Records FRBR model which is composed by four entities work, expression, manifestation and item and their associative relatio...
Simon C. Lin, Ya-ning Chen, Shu-jiun Chen, Yi-ting...