Sciweavers

4726 search results - page 208 / 946
» Domain Modeling of Software Process Models
Sort
View
FASE
2005
Springer
15 years 8 months ago
Ensuring Structural Constraints in Graph-Based Models with Type Inheritance
Graphs are a common means to represent structures in models and meta-models of software systems. In this context, the description of model domains by classifying the domain entitie...
Gabriele Taentzer, Arend Rensink
SIPS
2008
IEEE
15 years 9 months ago
The support of software design patterns for streaming RPC on embedded multicore processors
The development of embedded system has been toward the multicore architectures in the recent years. It raises concerns in the community of supporting programming models and langua...
Kun-Yuan Hsieh, Yen-Chih Liu, Chi-Hua Lai, Jenq Ku...
SCESM
2006
ACM
262views Algorithms» more  SCESM 2006»
15 years 8 months 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
132
Voted
ICSE
2000
IEEE-ACM
15 years 6 months ago
Object-oriented modeling: a roadmap
Object-oriented modeling has become the de-facto standard in the early phases of a software development process during the last decade. The current state-of-the-art is dominated b...
Gregor Engels, Luuk Groenewegen
SEFM
2005
IEEE
15 years 8 months ago
A Synchronous Process Calculus for Service Costs
We present a process calculus where synchronous composition is the central algebraic notion; equivalences between processes via bisimilarity or trace can be studied quite simply i...
Siva Anantharaman, Jing Chen, Gaétan Hains