1023 search results - page 132 / 205 » Renaissance: A Method to Support Software System Evolution |
131
click to vote
FORMATS
2009
Springer
15 years 10 months ago
2009
Springer
For software development, testing is still the primary choice for investigating the correctness of a system. Automated testing is of utmost importance to support continuous integra...
152
click to vote
ICST
2008
IEEE
15 years 10 months ago
2008
IEEE
In recent years the development of automotive embedded devices has changed from an electrical and mechanical engineering discipline to a combination of software and electrical/mec...
134
click to vote
ICECCS
2005
IEEE
15 years 9 months ago
2005
IEEE
SOFL is a formal language and method for software system analysis, specification and design and it fully supports structured techniques and object-oriented techniques. AOP (Aspect...
117
click to vote
FM
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Systematic engineering design processes have many aspects in common with software engineering, with CAD/CAM objects replacing program code as the implementation stage of ...
132
click to vote
KBSE
2000
IEEE
15 years 7 months ago
2000
IEEE
Testing has a vital support role in the software engineering process, but developing tests often takes significant resources. A formal specification is a repository of knowledge a...