1799 search results - page 79 / 360 » The Logic of Correctness in Software Engineering |
124
click to vote
APSEC
2002
IEEE
15 years 11 months ago
2002
IEEE
Many automated programming environments construct software by integrating predefined components from a software library. A fundamental challenge in this process is to match the p...
154
click to vote
AVI
2004
15 years 7 months ago
2004
Software development is prone to time-consuming and expensive errors. Finding and correcting errors in a program (debugging) is usually done by executing the program with differen...
177
click to vote
SEDE
2010
15 years 3 months ago
2010
Test is a key activity for ensuring software quality. There is always pressure from project sponsor and management for software development team to commit to shorter schedule and ...
173
click to vote
COMPSAC
2009
IEEE
15 years 10 months ago
2009
IEEE
Given the rapid rise of model-driven software development methodologies, it is highly desirable that tools be developed to support the use of design patterns in this context. This...
136
click to vote
EWSA
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Software architectures are engineering artifacts which provide high-level descriptions of complex systems. Certain recent architecture description languages (Adls) allow ...