1121 search results - page 73 / 225 » Building Formal Requirements Models for Reliable Software |
114
click to vote
ECSA
2010
Springer
15 years 29 days ago
2010
Springer
Although a lot of research has been carried out on the technical architecture of software systems, the domain of Functional Architecture in the software product industry lacks a fo...
102
click to vote
WOSP
2004
ACM
15 years 5 months ago
2004
ACM
Modelling and analysing distributed and mobile software systems is a challenging task. PEPA nets—coloured stochastic Petri nets—are a recently introduced modelling formalism w...
103
click to vote
CAV
2006
Springer
15 years 3 months ago
2006
Springer
Example Guided Abstraction Refinement (CEGAR) [6] framework. A number of wellengineered software model-checkers are available, e.g., SLAM [1] and BLAST [12]. Why build another one?...
106
click to vote
ACIIDS
2009
IEEE
15 years 5 months ago
2009
IEEE
— In this paper I show how ontologies support the student modelling through the semantic definition of concepts that depict a student. The aim is to outline the framework for bui...
120
click to vote
TSE
2010
14 years 10 months ago
2010
— Describing and managing activities, resources and constraints of software development processes is a challenging goal for many organizations. A first generation of Software Pro...