Sciweavers

3514 search results - page 312 / 703
» Software Process Modeling: Principles of Entity Process Mode...
Sort
View
ICST
2008
IEEE
15 years 10 months ago
Model-Based Quality Assurance of Windows Protocol Documentation
Microsoft is producing high-quality documentation for Windows client-server and server-server protocols. Our group in the Windows organization is responsible for verifying the doc...
Wolfgang Grieskamp, Nicolas Kicillof, Dave MacDona...
FASE
2004
Springer
15 years 9 months ago
Actor-Centric Modeling of User Rights
Abstract. In this paper we present a novel approach for the predicative specification of user rights in the context of an object oriented use case driven development process. We e...
Ruth Breu, Gerhard Popp
ESEM
2007
ACM
15 years 8 months ago
An Approach to Global Sensitivity Analysis: FAST on COCOMO
There are various models in software engineering that are used to predict quality-related aspects of the process or artefacts. The use of these models involves elaborate data coll...
Stefan Wagner
CEEMAS
2007
Springer
15 years 10 months ago
Models and Tools for Mulan Applications
Abstract In this work we describe the development process of multiagent application design and implementation with Mulan. Our approach can be characterized as model driven developm...
Lawrence Cabac, Till Dörges, Michael Duvignea...
CC
2003
Springer
15 years 9 months ago
A Compilation and Optimization Model for Aspect-Oriented Programs
This paper presents a semantics-based compilation model for an aspect-oriented programming language based on its operational semantics. Using partial evaluation, the model can expl...
Hidehiko Masuhara, Gregor Kiczales, Christopher Du...