1032 search results - page 150 / 207 » A Survey on Industrial Software Engineering |
107
click to vote
APSEC
2004
IEEE
15 years 5 months ago
2004
IEEE
Existing ADLs (Architecture Description Languages) have an advantage of formally specifying the architecture of component-based systems. But ADLs have not come into extensive use ...
112
click to vote
ICSM
1995
IEEE
15 years 5 months ago
1995
IEEE
A typical approach to software maintenance is analyzing just the source code, applying some patches, releasing the new version, and then updating the documentation. This quick-fix...
DATE
2010
IEEE
15 years 7 months ago
2010
IEEE
—Daily experience with product designers, test and diagnosis engineers it is realized that the depth of interaction among them, ought be high for sucessfull diagnosis of analogue...
118
click to vote
STTT
2010
14 years 8 months ago
2010
Abstract. We report here on an experimental investigation of LTL satisfiability checking via a reduction to model checking. By using large LTL formulas, we offer challenging model-...
111
click to vote
AIEDAM
2008
15 years 2 months ago
2008
Rationale research in software development is a challenging area because while there is no shortage of advocates for its value, there is also no shortage of reasons for why rationa...