Sciweavers

2599 search results - page 271 / 520
» A Tool for Supporting Feature-Driven Development
Sort
View
COMPSAC
1995
IEEE
15 years 9 months ago
HyperDisco: An Object-Oriented Hypermedia Framework for Flexible Software System Integration
Software development environments are examples of complex computer applications characterized by heterogeneity; they are composed of diverse information repositories, user interfa...
Uffe Kock Wiil
FMOODS
2007
15 years 7 months ago
Formal Modeling and Analysis of the OGDC Wireless Sensor Network Algorithm in Real-Time Maude
This paper describes the application of Real-Time Maude to the formal specification, simulation, and further formal analysis of the sophisticated state-of-the-art OGDC wireless se...
Peter Csaba Ölveczky, Stian Thorvaldsen
SDL
2001
78views Hardware» more  SDL 2001»
15 years 7 months ago
Using Message Sequence Charts to Accelerate Maintenance of Existing Systems
In this paper we describe our experiences in building tools for accelerating maintenance of existing large telecommunications software. We discuss how various maintenance activitie...
Nikolai Mansurov, Djenana Campara
IEE
2007
54views more  IEE 2007»
15 years 5 months ago
WebML modelling in UML
: In recent years, we have witnessed how the Web Engineering community has started using the standard unified modelling language (UML) notation, techniques and supporting tools fo...
Nathalie Moreno, Piero Fraternali, Antonio Valleci...
144
Voted
WSC
2008
15 years 8 months ago
Automating the constraining process
The typical approach to finding minimum levels of resources that still allow support and operational performance goals to be met for military aircraft is based on a manual trial-a...
Joel J. Luna