1522 search results - page 29 / 305 » Practical Exception Specifications |
106
click to vote
COMPSAC
2006
IEEE
15 years 7 months ago
2006
IEEE
This paper presents an approach for automated test case generation using a software specification modeled in Statecharts. The steps defined in such approach involve: translation o...
ISPEC
2005
Springer
15 years 7 months ago
2005
Springer
: Threats for today’s production networks range from fully automated worms and viruses to targeted, highly sophisticated multi-phase attacks carried out manually. In order to pro...
119
click to vote
MBUI
2004
15 years 2 months ago
2004
In this paper, we present our perspective on Model-Based User Interfaces (hereafter MBUI) paradigm and provide with our experience in this area combining high-level knowledge-base...
WSC
2004
15 years 2 months ago
2004
Military supply chains encompass a complicated network of customers and suppliers, and deal with a wide variety of items. Demand inside the network is generated at the unit level ...
105
click to vote
WSC
2000
15 years 2 months ago
2000
This paper presents a simulation study carried out to solve a problem of manufacturing process reengineering. The specific company in which the study took place is a medium size m...