1759 search results - page 187 / 352 » Overview of Generative Software Development |
102
click to vote
EMSOFT
2005
Springer
15 years 8 months ago
2005
Springer
The correct interplay among components in a distributed, reactive system is a crucial development task, particularly for embedded systems such as those in the automotive domain. M...
104
click to vote
FASE
2009
Springer
15 years 9 months ago
2009
Springer
Security automata are a convenient way to describe security policies. Their typical use is to monitor the execution of an application, and to interrupt it as soon as the security p...
110
click to vote
ICST
2008
IEEE
15 years 8 months ago
2008
IEEE
This paper presents a method of component testing based on algebraic specifications. An algorithm for generating checkable test cases is proposed. A prototype testing tool called ...
110
click to vote
SCAM
2007
IEEE
15 years 8 months ago
2007
IEEE
We present an automated program analysis, called Reach, to compute program inputs that cause evaluation of explicitly-marked target expressions. Reach has a range of applications ...
114
Voted
FASE
2005
Springer
15 years 7 months ago
2005
Springer
It is a key activity in CBD to identify high-quality components which have high cohesion and low coupling. However, component clustering is carried out in manual fashion by develop...