11089 search results - page 1686 / 2218 » Developing software families |
230
click to vote
DIAGRAMS
2004
Springer
16 years 18 days ago
2004
Springer
— Smart Diagram Environments (SDEs) are software applications that use structured diagrams to provide a natural visual interface that behaves as if the computer “understands”...
166
click to vote
ER
2004
Springer
16 years 18 days ago
2004
Springer
There exist several recent approaches that leverages the use of model transformations during software development. The existence erent kinds of models, at different levels of abst...
281
click to vote
FAABS
2004
Springer
16 years 18 days ago
2004
Springer
Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...
167
click to vote
FATES
2004
Springer
16 years 18 days ago
2004
Springer
We present a technique for specifying coverage criteria and a method for generating test suites for systems whose behaviours can be described as extended finite state machines (EF...
171
click to vote
FATES
2004
Springer
16 years 18 days ago
2004
Springer
We present the development of T-UPPAAL — a new tool for online black-box testing of real-time embedded systems from non-deterministic timed automata specifications. It is based ...