Sciweavers

1527 search results - page 60 / 306
» From Requirements to Design: Formalizing the Key Steps
Sort
View
OOPSLA
2007
Springer
16 years 3 days ago
A rewriting approach to the design and evolution of object-oriented languages
Abstract. Object-oriented language concepts have been highly successful, resulting in a large number of object-oriented languages and language extensions. Unfortunately, formal met...
Mark Hills, Grigore Rosu
POPL
2005
ACM
16 years 6 months ago
From sequential programs to multi-tier applications by program transformation
Modern applications are designed in multiple tiers to separate concerns. Since each tier may run at a separate location, middleware is required to mediate access between tiers. Ho...
Matthias Neubauer, Peter Thiemann
TEDU
2008
126views Education» more  TEDU 2008»
15 years 5 months ago
Designing an Educational Game: Case Study of 'Europe 2045'
This paper presents a theoretical framework, which has been adopted in designing an on-line multi-player strategy game Europe 2045. Europe 2045 is an educational tool for high scho...
Vít Sisler, Cyril Brom
ENTCS
2006
112views more  ENTCS 2006»
15 years 6 months ago
A Petri-Net Based Reflective Framework for the Evolution of Dynamic Systems
Nowadays, software evolution is a very hot topic. Many applications need to be updated or extended with new characteristics during their lifecycle. Software evolution is character...
Lorenzo Capra, Walter Cazzola
ISORC
2000
IEEE
15 years 10 months ago
Hybrid Sequence Charts
We introduce Hybrid Sequence Charts (HySCs) as a visual description technique for communication in hybrid system models. To that end, we adapt a subset of the well-known MSC synta...
Radu Grosu, Ingolf Krüger, Thomas Stauner