1781 search results - page 118 / 357 » An Emerging Need for a New Software Engineering Method |
91
Voted
FM
2006
Springer
15 years 4 months ago
2006
Springer
We summarize some current trends in embedded systems design and point out some of their characteristics, such as the chasm between analytical and computational models, and the gap ...
111
Voted
CSCWD
2008
Springer
15 years 2 months ago
2008
Springer
: The Software Engineering community has been trying to get fast and accurate software estimations for many years. Most of the proposed methods require historical information and/o...
133
Voted
SPIN
2007
Springer
15 years 6 months ago
2007
Springer
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...
85
Voted
ICST
2009
IEEE
15 years 7 months ago
2009
IEEE
Developers write and execute ad-hoc tests as they implement software. While these tests reflect important insights of the developers (e.g., which parts of the software need testi...
164
click to vote
GTTSE
2007
Springer
16 years 10 months ago
2007
Springer
As domain-specific languages (DSLs) permeate into mainstream software engineering, there is a need for economic methods for implementing languages. Following up on a paper with a s...