21 search results - page 2 / 5 » infsof 2002 |
INFSOF
2002
13 years 7 months ago
2002
Petri nets have been extensively used in the modelling and analysis of concurrent and distributed systems. The veri
INFSOF
2002
13 years 7 months ago
2002
In this paper, we examine the state of software engineering (SE) research from the point of view of the following research questions:
INFSOF
2002
13 years 7 months ago
2002
: The development of electronic commerce systems is subject to different conditions than that of conventional software systems. This includes the
INFSOF
2002
13 years 7 months ago
2002
This paper provides a formal speci
INFSOF
2002
13 years 7 months ago
2002
We formally verify aspects of the rule-based expert system of IBM's System Automation software for IBM's zSeries mainframes. Starting with a formalization of the expert ...