Sciweavers

9006 search results - page 229 / 1802
» Modeling Software
Sort
View
DICS
2006
15 years 8 months ago
Definition and Correct Refinement of Operation Specifications
Abstract. Modern incremental and iterative software engineering processes advocate to build software systems by first creating a highly simpliabstract model of the system which is ...
Thomas Baar, Slavisa Markovic, Frédé...
FOSSACS
2007
Springer
16 years 21 days ago
Model-Checking One-Clock Priced Timed Automata
Patricia Bouyer, Kim Guldstrand Larsen, Nicolas Ma...
LCPC
2007
Springer
16 years 20 days ago
Capsules: Expressing Composable Computations in a Parallel Programming Model
Hasnain A. Mandviwala, Umakishore Ramachandran, Ka...
SCOPES
2007
Springer
16 years 19 days ago
Modelling run-time arbitration by latency-rate servers in dataflow graphs
Maarten Wiggers, Marco Bekooij, Gerard J. M. Smit
VAMOS
2007
Springer
16 years 19 days ago
Modelling Variation in Quality Attributes
In a software product line different products often require different levels of quality attributes. In several domains quality attribute variability gets even more importance that...
Leire Etxeberria, Goiuria Sagardui Mendieta, Lorea...