984 search results - page 25 / 197 » Experimenting with Multi-Level Models in a Two-Level Modelin... |
110
Voted
FM
2003
Springer
15 years 8 months ago
2003
Springer
We present ProB, an animation and model checking tool for the B method. ProB’s animation facilities allow users to gain confidence in their specifications, and unlike the anima...
147
Voted
ICECCS
2009
IEEE
15 years 10 months ago
2009
IEEE
Distributed information systems are critical to the functioning of many businesses; designing them to be dependable is a challenging but important task. We report our experience i...
126
click to vote
ICSE
2009
IEEE-ACM
15 years 8 months ago
2009
IEEE-ACM
In ICSE’08 we demonstrated the Java UML Lightweight Enumerator (JULE) tool, which supports compliance test generation from modeling standards specifications. When employed in ou...
113
Voted
IEEEARES
2006
IEEE
15 years 9 months ago
2006
IEEE
In many reliability studies based on data, reliability engineers face incompleteness and incoherency problems in the data. Probabilistic tools badly handle these kinds of problems...
138
Voted
APSEC
2004
IEEE
15 years 7 months ago
2004
IEEE
Recently, agile software development methods are popular because software should be developed in a short period. However, conventional project management techniques are often not ...