Sciweavers

1311 search results - page 67 / 263
» Managing Model Quality in UML-Based Software Development
Sort
View
BIRTHDAY
2007
Springer
14 years 3 months ago
Models and Software Model Checking of a Distributed File Replication System
With the Distributed File System Replication component, DFS-R, as the central theme, we present selected protocol problems and validation methods encountered during design and deve...
Nikolaj Bjørner
ACE
2004
221views Education» more  ACE 2004»
13 years 10 months ago
Personal Software Process in the Database Course
This paper describes the integration of the Personal Software Process (PSP) into an introductory database course in an MIS curriculum. PSP is a highly disciplined, process-based a...
William I. Bullers Jr.
ISN
1999
Springer
112views Communications» more  ISN 1999»
14 years 1 months ago
Modelling Management Components for Reuse Using UML
The competitive pressures of the telecoms sector are leading to a major push towards the automation and integration of many operational support processes. This creates pressures to...
David Lewis, Chris Malbon, Alina DaCruz
EMSOFT
2004
Springer
14 years 2 months ago
Model based estimation and verification of mobile device performance
Performance is an important quality attribute that needs to be and managed proactively. Abstract models of the system are not very useful if they do not produce reasonably accurat...
Gopalakrishna Raghavan, Ari Salomaki, Raimondas Le...
ICECCS
2000
IEEE
126views Hardware» more  ICECCS 2000»
14 years 1 months ago
Domain Modeling of Software Process Models
This paper presents a novel application involving two important Software Engineering research areas: process modeling and software reuse. The Spiral Model is a risk-driven process...
Hassan Gomaa, Larry Kerschberg, Ghulam A. Farrukh