1541 search results - page 174 / 309 » Tools and Techniques for Model Checking Networked Programs |
137
click to vote
WSC
1994
15 years 5 months ago
1994
CSIM is a simulation model-building toolkit that is used by C/C++ programmers to implement processoriented, discrete-event simulation models. These models mimic the operation of c...
127
Voted
OOPSLA
1998
Springer
15 years 8 months ago
1998
Springer
Dynamic information collected as a software system executes can help software engineers perform some tasks on a system more effectively. To interpret the sizable amount of data ge...
137
click to vote
DSN
2000
IEEE
15 years 9 months ago
2000
IEEE
This paper describes an experiment in formal specification and validation performed in the context of an industrial joint project. The project involved an Italian company working...
121
click to vote
WSC
2007
15 years 6 months ago
2007
Planning construction projects typically makes use of the activity network based Critical Path Method (CPM), since it is very simple to use and reasonably versatile. Most other pl...
169
Voted
SAC
2011
ACM
14 years 7 months ago
2011
ACM
We propose a novel approach and tool for collaborative software engineering and development. In model-based software engineering, the underlying data structure is a complex, direc...