Sciweavers

2373 search results - page 5 / 475
» The Design of the Zinc Modelling Language
Sort
View
AOSE
2001
Springer
15 years 2 months ago
Extended Modeling Languages for Interaction Protocol Design
Jean-Luc Koning, Marc-Philippe Huget, Jun Wei, Xu ...
INFSOF
2000
79views more  INFSOF 2000»
14 years 9 months ago
Principles for modeling language design
Richard F. Paige, Jonathan S. Ostroff, Phillip J. ...
JDM
1998
55views more  JDM 1998»
14 years 9 months ago
Database: Models, Languages, Design
James L. Johnson
FASE
2004
Springer
15 years 1 months ago
Translating Software Designs for Model Checking
Abstract. This paper presents a systematic consideration of the major issues involved in translation of executable design level software specification languages to directly model-c...
Fei Xie, Vladimir Levin, Robert P. Kurshan, James ...
ASPDAC
2004
ACM
110views Hardware» more  ASPDAC 2004»
15 years 2 months ago
Embedded software generation from system level design languages
Abstract— To meet the challenge of increasing design complexity, designers are turning to system level design languages to model systems at a higher level of abstraction. This pa...
Haobo Yu, Rainer Dömer, Daniel Gajski