Sciweavers

2698 search results - page 258 / 540
» Software Process Model Blueprints
Sort
View
ICSE
2000
IEEE-ACM
15 years 10 months ago
Galileo: a tool built from mass-market applications
We present Galileo, an innovative engineering modeling and analysis tool built using an approach we call packageoriented programming (POP). Galileo represents an ongoing evaluatio...
David Coppit, Kevin J. Sullivan
CEEMAS
2007
Springer
16 years 25 days 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 12 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...
TR
2008
98views more  TR 2008»
15 years 6 months ago
Application of Vulnerability Discovery Models to Major Operating Systems
A number of security vulnerabilities have been reported in the Windows, and Linux operating systems. Both the developers, and users of operating systems have to utilize significant...
Omar H. Alhazmi, Yashwant K. Malaiya
GI
2009
Springer
15 years 4 months ago
Project Planning Support by Model Checking
Abstract: Today's trend in software and system engineering is to utilize more specialized models. This model-based development approach makes a single engineering task more ea...
Björn Axenath, Oliver Sudmann