2163 search results - page 42 / 433 » cases 2004 |
ICTAC
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. The classical work on test case generation and formal methods focuses either on algebraic or model-based specifications. In this paper we propose an approach to derive t...
METAINFORMATICS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. The Model-Driven Development (MDD) describes and maintains models of the system under development. The Unified Modeling Language (UML) supports a set of semantics and no...
EWCBR
2004
Springer
15 years 1 months ago
2004
Springer
The concept of generalized cases has been proven useful when searching for configurable and flexible products, for instance, reusable components in the area of electronic design au...
WER
2004
Springer
15 years 3 months ago
2004
Springer
Understanding how a user interacts with a system is important if the goal is to deliver a product that meets the user's needs. Use cases constitute a primary source of require...
FASE
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. This paper presents the use of a method – and its corresponding tool set – for compositional verification of applet interactions on a realistic industrial smart card...