686 search results - page 100 / 138 » Behavior Protocols for Software Components |
102
click to vote
LCTRTS
2010
Springer
15 years 6 months ago
2010
Springer
In this paper, we present a novel system modeling language which targets primarily the development of source-level multiprocessor memory aware optimizations. In contrast to previo...
118
click to vote
SPIN
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. This paper presents a technique that uses code to automatically generate its own test cases at run-time by using a combination of symbolic and concrete (i.e., regular) ex...
METAINFORMATICS
2004
Springer
15 years 5 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...
102
click to vote
FORTE
2001
15 years 1 months ago
2001
Use cases are useful in various stages of the software process. They are very often described using text that has to be interpreted by system designers. This could lead to implemen...
KBSE
2007
IEEE
15 years 6 months ago
2007
IEEE
This paper presents a tool that (i) constructs tree-based models of a program’s behavior during testing and (ii) employs these trees while reordering and reducing a test suite. ...