259 search results - page 11 / 52 » Requirements Specification as Executable Software Design - A... |
JUCS
2010
13 years 6 months ago
2010
: There are many examples of augmented objects in the literature. Augmented objects should provide intelligence to the ambient where they are located and also they must require a l...
ICSE
2004
IEEE-ACM
14 years 7 months ago
2004
IEEE-ACM
Most research on automated specification-based software testing has focused on the automated generation of test cases. Before a software system can be tested, it must be set up ac...
VLSID
2003
IEEE
14 years 8 months ago
2003
IEEE
The design of modern complex embedded systems require a high level of abstraction of the design. The SimnML[1] is a specification language to model processors for such designs. Se...
IJFCS
2006
13 years 7 months ago
2006
The outcome of verifying software is often a `counterexample', i.e., a listing of the actions and states of a behavior not satisfying the specification. In order to understan...
ICST
2008
IEEE
14 years 1 months ago
2008
IEEE
–Abstract for conference - preliminary Model-Based Testing: Models for Test Cases Jan Tretmans, Embedded Systems Institute, Eindhoven : Systematic testing of software plays an im...