Sciweavers

2599 search results - page 69 / 520
» A Tool for Supporting Feature-Driven Development
Sort
View
FM
1998
Springer
153views Formal Methods» more  FM 1998»
15 years 8 months ago
VSE: Controlling the Complexity in Formal Software Developments
We give an overview of the enhanced VSE system which is a tool to formally specify and verify systems. It provides means for structuring speci cations and it supports the developme...
Dieter Hutter, Heiko Mantel, Georg Rock, Werner St...
WSC
2004
15 years 5 months ago
A Scenario Generation Tool for DDF Simulation Testbeds
An interactive tool has been developed for visualizing and creating scaled battlefield based scenarios for use in a simulation testbed to develop and test distributed data fusion ...
Govindarajan Srimathveeravalli, Navneeth Subramani...
CSCW
2010
ACM
16 years 29 days ago
Information needs in bug reports: improving cooperation between developers and users
For many software projects, bug tracking systems play a central role in supporting collaboration between the developers and the users of the software. To better understand this co...
Silvia Breu, Rahul Premraj, Jonathan Sillito, Thom...
IPPS
1998
IEEE
15 years 8 months ago
Toward Embedded Development from Advanced Khoros
Current practice in the design of application software for high-performance embedded computing systems is characterized by long development times, lack of interoperability with ot...
Joe Fogler, Thomas Robey, Mark Young
153
Voted
ARES
1998
Springer
15 years 8 months ago
Architecture-Centric Software Development Based on Extended Design Spaces
The realization of software projects can be significantly eased by extending the focus of reuse to architectural aspects instead of concentrating on separate software elements. Ye...
Lothar Baum, Lars Geyer, Georg Molter, Steffen Rot...