Sciweavers

3255 search results - page 394 / 651
» Usage-Centered Design and Software Engineering: Models for I...
Sort
View
SAC
2008
ACM
15 years 6 months ago
The QoS-MO ontology for semantic QoS modeling
This paper presents the QoS-MO ontology. This ontology enables the specification of QoS requirements for Semantic Web Services and can easily be combined with OWL-S in order to fu...
Gustavo Fortes Tondello, Frank Siqueira
SCESM
2006
ACM
262views Algorithms» more  SCESM 2006»
16 years 17 days ago
Scenario-driven modeling and validation of requirements models
Requirements models for large systems typically cannot be developed in a single step, but evolve in a sequence of iterations. We have developed such an iterative modeling process ...
Christian Seybold, Silvio Meier, Martin Glinz
EMSOFT
2010
Springer
15 years 4 months ago
PinaVM: a systemC front-end based on an executable intermediate representation
SystemC is the de facto standard for modeling embedded systems. It allows system design at various levels of abstractions, provides typical object-orientation features and incorpo...
Kevin Marquet, Matthieu Moy
ICST
2008
IEEE
16 years 1 months ago
A JML Compiler Based on AspectJ
The Java Modeling Language (JML) is a behavioral interface specification language (BISL) designed for Java. It was developed with the aim of improving the functional software cor...
Henrique Rebêlo, Ricardo Massa Ferreira Lima...
ECAI
2004
Springer
16 years 11 hour ago
APPROACH: Decentralised Rotation Planning for Container Barges
This paper presents the engineering and development process of a software tool (APPROACH) that is designed for decentralised rotation planning for container barges in the port of R...
Martijn C. Schut, Michael Kentrop, Mark Leenaarts,...