588 search results - page 88 / 118 » Using UML Environment Models for Test Case Generation |
120
Voted
FAC
2008
15 years 15 days ago
2008
Abstract. Slicing is a program analysis technique that was originally introduced to improve program debugging and understanding. The purpose of a slicing algorithm is to remove the...
IROS
2007
IEEE
15 years 6 months ago
2007
IEEE
— While underactuated robotic systems are capable of energy efficient and rapid dynamic behavior, we still do not fully understand how body dynamics can be actively used for ada...
89
Voted
ICSR
2004
Springer
15 years 5 months ago
2004
Springer
This paper describes a feature modelling technique aimed at modelling the software assets behind a product family. The proposed technique is distinctive in five respects. First, it...
FORTE
2004
15 years 1 months ago
2004
Witnesses and counterexamples produced by model checkers provide a very useful source of diagnostic information. They are usually returned in the form of a single computation path ...
112
click to vote
MODELS
2007
Springer
15 years 6 months ago
2007
Springer
To promote the Model-Based software engineering development of user interfaces, this paper proposes a model driven development approach of complex user interface. The approach cap...