Sciweavers

15779 search results - page 2361 / 3156
» Change-oriented software engineering
Sort
View
ISSRE
2000
IEEE
15 years 11 months ago
Can Intuition Become Rigorous? Foundations for UML Model Verification Tools
The Unified Modeling Language, UML, is the objectoriented notation adopted as the standard for objectoriented Analysis and Design by the Object Management Group. This paper report...
José Luis Fernández Alemán, J...
IWPC
2000
IEEE
15 years 11 months ago
The Effect of Call Graph Construction Algorithms for Object-Oriented Programs on Automatic Clustering
Call graphs are commonly used as input for automatic clustering algorithms, the goal of which is to extract the high level structure of the program under study. Determining the ca...
Derek Rayside, Steve Reuss, Erik Hedges, Kostas Ko...
IWPC
2000
IEEE
15 years 11 months ago
Requirements for an Elucidative Programming Environment
The main goal with this paper is to motivate and coin a variation of literate programming which we call elucidative programming. Elucidative programming is oriented towards progra...
Kurt Nørmark
IWSSD
2000
IEEE
15 years 11 months ago
Specification, Safety and Reliability Analysis Using Stochastic Petri Net Models
In this study we focus on the specification and assessment of Stochastic Petri net (SPN) models to evaluate the design of an embedded system for reliability and availability. The ...
Frederick T. Sheldon, Stefan Greiner, Matthias Ben...
KBSE
2000
IEEE
15 years 11 months ago
A DSL Approach to Improve Productivity and Safety in Device Drivers Development
Although peripheral devices come out at a frantic pace and require fast releases of drivers, little progress has been made to improve the development of drivers. Too often, this d...
Laurent Réveillère, Fabrice Mé...
« Prev « First page 2361 / 3156 Last » Next »