5407 search results - page 232 / 1082 » The Software Engineering Global Model |
123
Voted
VAMOS
2007
Springer
15 years 11 months ago
2007
Springer
Although feature modelling is a frequently used approach to the task of modelling commonality and variability within product lines, there is currently no standard modelling notati...
126
click to vote
KBSE
2007
IEEE
15 years 11 months ago
2007
IEEE
toolkit demonstrates that predicate abstraction enables automated verification of real world Windows device Our predicate abstraction-based tool DDVerify enables the automated ve...
134
Voted
ECRTS
2000
IEEE
15 years 9 months ago
2000
IEEE
We present a tool for the design and validation of embedded real-time applications. The tool integrates two approaches, the use of the synchronous programming language ESTEREL for...
135
click to vote
ICSE
2007
IEEE-ACM
16 years 5 months ago
2007
IEEE-ACM
Software engineers frequently update COTS components integrated in component-based systems, and can often chose among many candidates produced by different vendors. This paper tac...
146
click to vote
SEKE
2005
Springer
15 years 10 months ago
2005
Springer
The emerging consensus on the boundaries and main elements of the Software Engineering (SE) discipline represents an opportunity for the engineering of shared conceptualizations t...