Sciweavers

1908 search results - page 137 / 382
» How to teach software modeling
Sort
View
SIES
2007
IEEE
15 years 4 months ago
Protocol Modelling Semantics for Embedded Systems
The properties of a domain oriented modelling approach or language are determined by the dominant semantics of the domain. A significant subclass that needs particular attention,...
Ashley T. McNeile, Ella E. Roubtsova
VIROLOGY
2008
84views more  VIROLOGY 2008»
14 years 10 months ago
Formal affordance-based models of computer virus reproduction
We present a novel classification of computer viruses using a formalised notion of reproductive models based on Gibson's theory of affordances. A computer virus reproduction ...
Matt Webster, Grant Malcolm
ISSTA
2004
ACM
15 years 3 months ago
Verifying process models built using parameterized state machines
Software process and workflow languages are increasingly used to define loosely-coupled systems of systems. These languages focus on coordination issues such as data flow and c...
Barbara Staudt Lerner
ICMT
2009
Springer
15 years 2 months ago
Solving Constraints in Model Transformations
Abstract. Constraint programming holds many promises for model driven software development (MDSD). Up to now, constraints have only started to appear in MDSD modeling languages, bu...
Andreas Petter, Alexander Behring, Max Mühlh&...
SEAA
2008
IEEE
15 years 4 months ago
Requirements Prioritization Based on Benefit and Cost Prediction: A Method Classification Framework
In early phases of the software development process, requirements prioritization necessarily relies on the specified requirements and on predictions of benefit and cost of individ...
Maya Daneva, Andrea Herrmann