803 search results - page 83 / 161 » Building Formal Models for Software Requirements |
129
click to vote
ENTCS
2007
15 years 3 months ago
2007
Software model checkers are typically language-specific, require substantial development efforts, and are hard to reuse for other languages. Adding partial order reduction (POR)...
122
click to vote
CAV
2009
Springer
16 years 4 months ago
2009
Springer
We address the problem of analyzing programs such as J2ME midlets for mobile devices, where a central correctness requirement concerns confidentiality of data that the user wants t...
ICAS
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper presents an integrated architecture for ad hoc Grids developed within the Java CoG Kit project. It provides an overview of the key component frameworks that collectivel...
129
click to vote
WSC
1998
15 years 5 months ago
1998
MODSIM II is an object-oriented discrete event simulation language featuring extensive run-time libraries, graphical user interface and results presentation tools, database access...
137
click to vote
ER
2000
Springer
15 years 7 months ago
2000
Springer
The development of object-oriented software starts from requirements expressed commonly as Use Cases. The requirements are then converted into a conceptual or analysis model. Analy...