3357 search results - page 17 / 672 » On the Use of Process Trails to Understand Software Developm... |
JSS
2002
14 years 9 months ago
2002
The work described in this paper is an investigation of COTS-based software development within a particular NASA environment, with an emphasis on the processes used. Fifteen proje...
102
Voted
EDCC
2010
Springer
15 years 2 months ago
2010
Springer
—Assurance Based Development (ABD) is a novel approach to the synergistic construction of critical software systems and their assurance arguments. In ABD, the need for assurance ...
ACSAC
2006
IEEE
15 years 3 months ago
2006
IEEE
Security-typed languages are an evolving tool for implementing systems with provable security guarantees. However, to date, these tools have only been used to build simple “toyâ...
DEXAW
2000
IEEE
15 years 2 months ago
2000
IEEE
This paper addresses the problem of enabling a user of a process-centered SDE, hosted on a high-speed network, to continue working on a detached mobile workstation connected by a l...
TSE
2002
14 years 9 months ago
2002
A key problem in software engineering is changing the code. We present a sequence of visualizations and visual metaphors designed to help engineers understand and manage the softw...