Sciweavers

3185 search results - page 126 / 637
» Principles for modeling language design
Sort
View
DASFAA
1999
IEEE
118views Database» more  DASFAA 1999»
14 years 5 days ago
Design and Implementation of a CORBA Query Service Accessing EXPRESS-based Data
In this paper we describe the design and implementation of a CORBA Query Service targeted to access data that is defined by the EXPRESS data modeling language. EXPRESS is used pri...
Jürgen Sellentin, Bernhard Mitschang
FDL
2006
IEEE
14 years 1 months ago
Reusing Real-Time Systems Design Experience
To ensure correctness and performance of real-time embedded systems, early evaluation of properties is needed. Based on design experience for real-time systems and using the conce...
Oana Florescu, Jeroen Voeten, Marcel Verhoef, Henk...
DATE
2005
IEEE
119views Hardware» more  DATE 2005»
14 years 1 months ago
UML 2.0 Profile for Embedded System Design
Unified Modeling Language (UML) 2.0 is emerging in the area of embedded system design. This paper presents a new UML 2.0 profile - called TUT-Profile - that introduces a set of st...
Petri Kukkala, Jouni Riihimäki, Marko Hä...
EMSOFT
2005
Springer
14 years 1 months ago
Using separation of concerns for embedded systems design
systems are commonly abstracted as collections of interacting components. This perspective has lead to the insight that component behaviors can be defined separately from admissi...
Ethan K. Jackson, Janos Sztipanovits
DAC
2007
ACM
13 years 11 months ago
Verification Methodologies in a TLM-to-RTL Design Flow
SoC based system developments commonly employ ESL design ogies and utilize multiple levels of abstract models to provide feasibility study models for architects and development pl...
Atsushi Kasuya, Tesh Tesfaye