2004 search results - page 63 / 401 » Comparison of Model Checking Tools for Information Systems |
130
click to vote
WCRE
2002
IEEE
15 years 9 months ago
2002
IEEE
Today, software-engineering research and industry alike recognize the need for practical tools to support reverseengineering activities. Most of the well-known CASE tools support ...
140
click to vote
CMSB
2006
Springer
15 years 8 months ago
2006
Springer
Type checking and type inference are important concepts and methods of programming languages and software engineering. Type checking is a way to ensure some level of consistency, d...
141
click to vote
WSC
2000
15 years 5 months ago
2000
Batching jobs in a manufacturing system is a very common policy in most industries. The main reasons for batching are avoidance of set ups and/or facilitation of material handling...
140
click to vote
MODELLIERUNG
2004
15 years 5 months ago
2004
ion from the implementation they use. Some tools rather consequently use this abstract model; others at least partly keep the implementational view, modeling components, e.g., by o...
145
click to vote
ASE
2005
15 years 4 months ago
2005
Abstract. Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. The typical approach to verifying propertie...