Sciweavers

16790 search results - page 29 / 3358
» A Future for Software Engineering
Sort
View
ICSM
2006
IEEE
14 years 1 months ago
Working Session: Information Retrieval Based Approaches in Software Evolution
During software evolution a collection of related artifacts with different representations are created. Some of these are composed of structured data (e.g., analysis data), some c...
Andrian Marcus, Andrea De Lucia, Jane Huffman Haye...
VSTTE
2005
Springer
14 years 1 months ago
On the Formal Development of Safety-Critical Software
Abstract. We reflect on the formal development models applicable to embedded control systems in light of our experience with safety-critical applications from the aerospace domain....
Andy Galloway, Frantz Iwu, John A. McDermid, Ian T...