623 search results - page 7 / 125 » An Algebraic Approach for Managing Inconsistencies in Softwa... |
PROFES
2004
Springer
2004
Springer
Development of a Normative Package for Safety-Critical Software Using Formal Regulatory Requirements
14 years 21 days ago
Abstract. The important tasks in requirement engineering are resolving requirements inconsistencies between regulators and developers of safety-critical computer systems, and the v...
ICFEM
1998
Springer
13 years 11 months ago
1998
Springer
Studying industrial systems by simulation enables the designer to study the dynamic behaviour and to determine some characteristics of the system. Unfortunately, simulation also h...
IBERAMIA
2004
Springer
14 years 22 days ago
2004
Springer
Many approaches of the agent paradigm emphasize the social and intentional features of their systems, what are called social properties. The study of these aspects demands their ow...
JLP
2008
13 years 5 months ago
2008
Coordination languages were introduced in the early 80's as programming notations to manage the interaction among concurrent collaborating software entities. Process algebras...
CAISE
1999
Springer
13 years 11 months ago
1999
Springer
: In this article we present a new approach to software process modelling for a large banking organisation. In the past years, the main software development methods and tools of th...