1926 search results - page 291 / 386 » Modeling and Model Checking Software Product Lines |
EWSA
2004
Springer
15 years 5 months ago
2004
Springer
This paper proposes a development methodology for distributed applications based on the principles and concepts of the Model-Driven Architecture (MDA). The paper identifies phases ...
102
click to vote
WCRE
1995
IEEE
15 years 3 months ago
1995
IEEE
Several processes have been advanced in the literature for reverse engineering of relational databases. The inputs to these processes are relational tables and available contextua...
CODES
2006
IEEE
15 years 6 months ago
2006
IEEE
Designer productivity and design predictability are vital factors for successful embedded system design. Shrinking time-to-market and increasing complexity of these systems requir...
100
click to vote
ICSE
2005
IEEE-ACM
15 years 12 months ago
2005
IEEE-ACM
Research was conducted on using agile methods in software engineering education. This paper explores the perceptions of students from five different academic levels of agile pract...
ASWEC
2001
IEEE
15 years 3 months ago
2001
IEEE
Static analysis is a tremendous help when trying to find faults in complex software. Writing multi-threaded programs is difficult, because the thread scheduling increases the prog...