Sciweavers

2261 search results - page 117 / 453
» Modeling the Experimental Software Engineering Process
Sort
View
WCRE
1996
IEEE
15 years 9 months ago
A Catalog of Object Model Transformations
The process of software development is gradually achieving more rigor. Proficient developers now construct indirectly through the abstraction of models. Models allow a developer t...
Michael R. Blaha, William J. Premerlani
139
Voted
FDL
2004
IEEE
15 years 8 months ago
Error Estimation in Model-Driven Development for Real-Time Software
Model-driven approaches proved themselves not suited yet to support real-time software development. Even if they have the ability of capturing adequately both functional and non-f...
Oana Florescu, Jeroen Voeten, Jinfeng Huang, Henk ...
145
Voted
ECBS
2004
IEEE
129views Hardware» more  ECBS 2004»
15 years 8 months ago
Using Feature Modeling for Program Comprehension and Software Architecture Recovery
: The available evidence in a legacy software system, which can help in its understanding and recovery of its architecture are not always sufficient. Very often the system's d...
Ilian Pashov, Matthias Riebisch
TASE
2007
IEEE
15 years 11 months ago
Model Checking Networked Programs in the Presence of Transmission Failures
Software model checkers work directly on single-process programs, but not on multiple processes. Conversion of processes into threads, combined with a network model, allows for mo...
Cyrille Artho, Christian Sommer 0002, Shinichi Hon...
ICESS
2004
Springer
15 years 10 months ago
The Modeling for Dynamic Power Management of Embedded Systems
In this paper we present a new modeling technique using software engineering tool Flow Model for modeling and solving the Dynamic Power Management (DPM) with complex behavioral cha...
Jiangwei Huang, Tianzhou Chen, Minjiao Ye, Yi Lian