Sciweavers

3185 search results - page 102 / 637
» Principles for modeling language design
Sort
View
ICECCS
2006
IEEE
140views Hardware» more  ICECCS 2006»
14 years 1 months ago
Inference of Design Pattern Instances in UML models via Logic Programming
This paper formalizes the notion of a design model structurally conforming to a design pattern by representing the model as a logic program whilst the pattern as a query. The conf...
Dae-Kyoo Kim, Lunjin Lu
FM
1999
Springer
161views Formal Methods» more  FM 1999»
14 years 2 days ago
Combining Theorem Proving and Continuous Models in Synchronous Design
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
Simin Nadjm-Tehrani, Ove Åkerlund
MODELS
2007
Springer
14 years 1 months ago
Model-Based Design of Computer-Controlled Game Character Behavior
Recently, the complexity of modern, real-time computer games has increased drastically. The need for sophisticated game AI, in particular for Non-Player Characters, grows with the ...
Jörg Kienzle, Alexandre Denault, Hans Vanghel...
FDL
2004
IEEE
13 years 11 months ago
A Functional Programming Framework of Heterogeneous Model of Computation for System Design
System-on-Chip (SOC) and other complex distributed hardware/software systems contain heterogeneous components such as DSPs, micro-controllers, application specific logic etc., whi...
Deepak Mathaikutty, Hiren D. Patel, Sandeep K. Shu...
ICWE
2009
Springer
14 years 2 months ago
beContent: A Model-Driven Platform for Designing and Maintaining Web Applications
Model Driven Engineering (MDE) is increasingly gaining acceptance evelopment of Web Applications as a mean to leverage abstraction and render business logic resilient to technologi...
Antonio Cicchetti, Davide Di Ruscio, Romina Eramo,...