Sciweavers

16790 search results - page 89 / 3358
» A Future for Software Engineering
Sort
View
112
Voted
ICSM
2002
IEEE
15 years 10 months ago
Behavioural Concern Modelling for Software Change Tasks
Albert Lai, Gail C. Murphy
103
Voted
KBSE
2002
IEEE
15 years 10 months ago
Assumption Generation for Software Component Verification
Dimitra Giannakopoulou, Corina S. Pasareanu, Howar...
143
Voted
EMSOFT
2001
Springer
15 years 9 months ago
Verification of Embedded Software: Problems and Perspectives
Patrick Cousot, Radhia Cousot
133
Voted
EMSOFT
2001
Springer
15 years 9 months ago
Embedded Software Market Transformation through Reusable Frameworks
Wolfgang Pree, Alessandro Pasetti