Generative templates for formal metamodel design

Generative templates for formal metamodel design

Bibliographic Details
Main Author:	Wu, Nicolas
Published:	University of Oxford 2010
Subjects:	005.3
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.542998

Similar Items

Structures and processes for managing model-metamodel co-evolution
by: Rose, Louis M.
Published: (2011)

Establishing and maintaining semantically rich traceability : a metamodelling approach
by: Matragkas, Nikolaos
Published: (2011)

Software composition with templates
by: Yermashov, Kostyantyn
Published: (2008)

Dependable compositions : a formal approach
by: Jefferson, Nigel Patrick
Published: (2007)

Formal construction of Instruction Set Architectures
by: Wright, Stephen
Published: (2009)

Consistent formal theories of the semantics of programming languages
by: Lauer, P. E.
Published: (1971)

Design, formalization and realization of harmonic box coordination language : an externally timed specification substrate for arbitrarily reliable distributed systems
by: George, Samuel R. J.
Published: (2014)

Prescriptive formalism for constructing domain-specific evolutionary algorithms
by: Surry, Patrick David
Published: (1998)

A formal approach to modelling real-time critical systems
by: Veloudis, Simeon
Published: (2004)

A formal framework for the modelling of multi-agent systems with dynamic structure
by: Stamatopoulou, Ioanna
Published: (2008)

Resolution-based methods for linear-time temporal logics : with applications to formal verification
by: Ludwig, Michel
Published: (2010)

The pragmatic formalization of computing systems relative to a given high-level language
by: Cooke, Derek John
Published: (1976)

Data dependent program generation
by: Quarendon, Peter
Published: (1977)

Mathematical semantics and compiler generation
by: Mosses, Peter David
Published: (1975)

Problem solving by program generation
by: Mandil, S. H.
Published: (1971)

Code generation and structured architectures
by: Mullins, Judith Mary
Published: (1978)

The Effectiveness of t-way Test Data Generation
by: Ellims, Michael
Published: (2009)

The Computer Generation of Images in Real-Time
by: Willis, P. J.
Published: (1976)

A minimalist approach to generating cherent texts
by: Banik, Eva
Published: (2010)

Generator of adaptive dilemma-based interactive narratives
by: Barber, Heather
Published: (2008)

Extending the domain theory to support application generation
by: Papamargaritis, George
Published: (2008)

Generative modelling with software product line architectures
by: Holmes, Christopher Kenneth
Published: (2007)

The intelligent generation and analysis of code for parallel platforms
by: McMullan, Paul Patrick Joseph
Published: (1996)

A Display System for Computer Generation of Images
by: Hadjiaslanis, A. A.
Published: (1978)

Automatic portal generation based on XML workflow description
by: Lu, Dashan
Published: (2010)

Correct synthesis and integration of compiler-generated function units
by: Ellis, Martin Andrew
Published: (2008)

Paftran - A finite element mesh generation language
by: Walters, D.
Published: (1973)

Feature generation and dimensionality reduction using genetic programming
by: Guo, Hong
Published: (2009)

Dynamic generation of adaptation plans for self-adaptive software systems
by: Silva, Carlos Eduardo da
Published: (2011)

The production of surface textures in real-time computer generated imagery
by: Bolton, M. J. P.
Published: (1978)

Riddle posed by computer (6) : the computer generation of cryptic crossword clues
by: Hardcastle, David
Published: (2007)

Framed aspects-A generative variability approach for aspect-oriented programming
by: Loughran, Neil Anthony
Published: (2008)

Study of an adaptive and multifunctional computational behaviour generation model for virtual creatures
by: Wang, Fang
Published: (2002)

Effective and efficient generation of Size-l object summaries for relational keyword search
by: Cai, Zhi
Published: (2011)

Automated test sequence generation for finite state machines using genetic algorithms
by: Derderian, Karnig Agop
Published: (2006)

Supporting the modelling and generation of reflective middleware families and applications using dynamic variability
by: Bencomo, Nelly
Published: (2008)

Design components
by: Iliasov, Alexei
Published: (2008)

Design navigation : Recovering design charts from object-oriented programs
by: Gasparis, Epameinondas
Published: (2010)

Design Informatics for Packaging
by: Ma, Lei
Published: (2009)

Design of Interpreters for Programming Languages
by: Ranade, S.
Published: (1976)

Cannot write session to /tmp/vufind_sessions/sess_rjtatikpmk8ueoh85p4qaur4ul