2878 search results - page 198 / 576 » Analyzing the Uses of a Software Modeling Tool |
142
click to vote
ATVA
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. NetQi is a freely available model-checker designed to analyze network incidents such as intrusion. This tool is an implementation of the anticipation game framework, a va...
142
click to vote
FMICS
2007
Springer
16 years 1 days ago
2007
Springer
Abstract. This paper reports the analysis of an industrial implementation of the session-layer of a load-balancing software system. This software comprises 7.5 thousand lines of C ...
139
click to vote
OOPSLA
2007
Springer
16 years 9 hour ago
2007
Springer
Live Sequence Charts (LSCs) is a scenario-based language for modeling object-based reactive systems with liveness properties. A tool called the Play-Engine allows users to create ...
165
click to vote
KBSE
2005
IEEE
15 years 11 months ago
2005
IEEE
Major software development standards mandate the establishment of trace links among software artifacts such as requirements, architectural elements, or source code without explici...
153
click to vote
KBSE
2002
IEEE
15 years 10 months ago
2002
IEEE
Finite-state machine (FSM) models are commonly used to represent software with concurrent processes. Established model checking tools can be used to automatically test FSM models,...