Sciweavers

7202 search results - page 9 / 1441
» Software System Engineering: A Tutorial
Sort
View
151
Voted
WSC
1997
15 years 7 months ago
A Demonstration of the Integrated Supportability Analysis and Cost System (ISACS+)
This paper describes the Integrated Supportability Analysis and Cost System (ISACS+) and the features which will be demonstrated. ISACS+ is a distributed, client/server system for...
Helena L. Weaks, James D. Barrett
ICSE
2001
IEEE-ACM
15 years 10 months ago
Effective Software Architecture Design: From Global Analysis to UML Descriptions
It is now generally accepted that separating software architecture into multiple views can help in reducing complexity and in making sound decisions about design trade-offs. Our f...
Robert L. Nord, Daniel J. Paulish, Dilip Soni, Chr...
175
Voted
FLAIRS
2000
15 years 7 months ago
Formal Software Development in the Verification Support Environment (VSE)
The paper presents a survey of the VSE system, a kind of CASE-tool for formal software development. It is a summary of a tutorial presentation describing methodology, formalisms, ...
Dieter Hutter, Georg Rock, Jörg H. Siekmann, ...
153
Voted
CSEE
2010
Springer
15 years 4 months ago
An Undergraduate Summer Research Program in Software Safety
This paper shares the experiences and lessons learned from conducting an NSF-sponsored eight-week summer research program for ten undergraduate students from multiple universities...
W. Eric Wong, Vidroha Debroy
259
Voted
ICSE
2007
IEEE-ACM
16 years 15 days ago
Architecture Knowledge Management: Challenges, Approaches, and Tools
Capturing the technical knowledge, contextual information, and rationale surrounding the design decisions underpinning system architectures can greatly improve the software develo...
Muhammad Ali Babar, Ian Gorton