ICSE
2000
IEEE-ACM
13 years 11 months ago
2000
IEEE-ACM
ICSE
2000
IEEE-ACM
13 years 11 months ago
2000
IEEE-ACM
Software architecture styles for developing multiuser applications are usually defined at a conceptual level, abstracting such low-level issues of distributed implementation as co...
ICSE
2000
IEEE-ACM
13 years 11 months ago
2000
IEEE-ACM
ICRE
2000
IEEE
13 years 11 months ago
2000
IEEE
Today, object-oriented requirements specifications typically combine a scenario (or use case) model and a class model for expressing functional requirements. With any such combina...
KBSE
1998
IEEE
13 years 11 months ago
1998
IEEE
Starting from a graphical data model (a subset of the OMT object model), a skeleton of formal specification can be generated and completed to express several constraints and provi...
IWPC
1998
IEEE
13 years 11 months ago
1998
IEEE
Rapid system understanding is required in the planning, feasibility assessment and cost estimating phases of a system renovation project. In this paper, we apply a number of analy...
ISSTA
1998
ACM
13 years 11 months ago
1998
ACM
We present various techniques for improving the time and space efficiency of symbolic model checking for system requirements specified as synchronous finite state machines. We use...
ICFEM
2000
Springer
13 years 11 months ago
2000
Springer
ICFEM
2000
Springer
13 years 11 months ago
2000
Springer
ICFEM
2000
Springer
13 years 11 months ago
2000
Springer
A family of well known problems on graphs includingthe shortest path problem and the data flow analysis problem can be uniformly formulated as a fixed-point problem on graphs. We ...