Sciweavers

2682 search results - page 201 / 537
» An Iterative-Cyclic Software Process Model
Sort
View
UML
2001
Springer
15 years 7 months ago
An Axiomatic Formalization of UML Models
: Though it is widely recognized that object-oriented methodologies are most effective in developing large scale software, it is still dif cult to apply high level computer support...
Toshiaki Aoki, Takaaki Tateishi, Takuya Katayama
CEEMAS
2007
Springer
15 years 9 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 8 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...
BMCBI
2007
128views more  BMCBI 2007»
15 years 3 months ago
Absolute estimation of initial concentrations of amplicon in a real-time RT-PCR process
Background: Since real time PCR was first developed, several approaches to estimating the initial quantity of template in an RT-PCR reaction have been tried. While initially only ...
Marjo V. Smith, Chris R. Miller, Michael Kohn, Nig...
GI
2009
Springer
15 years 25 days 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