1759 search results - page 264 / 352 » Overview of Generative Software Development |
95
Voted
FATES
2004
Springer
15 years 6 months 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 ...
ISSRE
2003
IEEE
15 years 6 months ago
2003
IEEE
A large number of coverage criteria to generate tests from logical expressions have been proposed. Although there have been large variations in the terminology, the articulation o...
99
Voted
CAEPIA
2003
Springer
15 years 5 months ago
2003
Springer
Nowadays there is a great effort underway to improve the World Wide Web. A better content organisation, allowing automatic processing, leading to the Semantic Web is one of the mai...
100
Voted
ACMSE
2006
ACM
15 years 4 months ago
2006
ACM
Programming paradigms are often skewed towards a particular domain of problems, thus one effective way to utilize them is through a multiparadigm approach to software development....
80
Voted
UML
2000
Springer
15 years 4 months ago
2000
Springer
The emergence of the Unified Modeling Language (UML) has provided software developers with an effective and efficient shared language. However, UML is often too restrictive in init...