21 search results - page 2 / 5 » infsof 2002 |
126
Voted
INFSOF
2002
15 years 4 months ago
2002
Petri nets have been extensively used in the modelling and analysis of concurrent and distributed systems. The veri
133
Voted
INFSOF
2002
15 years 4 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:
119
click to vote
INFSOF
2002
15 years 4 months ago
2002
: The development of electronic commerce systems is subject to different conditions than that of conventional software systems. This includes the
128
Voted
INFSOF
2002
15 years 4 months ago
2002
This paper provides a formal speci
167
click to vote
INFSOF
2002
15 years 4 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 ...