5608 search results - page 459 / 1122 » Structure description tools |
205
click to vote
SIGSOFT
2003
ACM
16 years 3 days ago
2003
ACM
This paper presents PLUTO, a simple and intuitive methodology to manage the testing process of product lines, described as Product Lines Use Cases (PLUCs). PLUCs are an extension ...
173
click to vote
FASE
2003
Springer
16 years 2 days ago
2003
Springer
Scenarios are powerful tools to model and analyze software systems. However, since they do not provide a complete description of the system, but just some possible execution paths,...
218
click to vote
FM
2003
Springer
16 years 2 days ago
2003
Springer
We present a novel application on model checking through SPIN as a means for verifying purely descriptive specifications written in TRIO, a first order, linear-time temporal logic ...
194
click to vote
UML
2001
Springer
15 years 11 months ago
2001
Springer
We describe formal steps in the design of iState, a tool for translating statecharts into programming languages. Currently iState generates code in either Java, or the Abstract Mac...
168
click to vote
RSP
2000
IEEE
15 years 11 months ago
2000
IEEE
: The use of program generation from graphical representations like UML is increasing in software projects. The notion of hypergenericity is raising up to improve program generator...