Sciweavers

967 search results - page 14 / 194
» Languages and Tools for Hybrid Systems Design
Sort
View
CONCUR
2006
Springer
13 years 11 months ago
Modeling Timed Concurrent Systems
Timed concurrent systems are widely used in concurrent and distributed real-time software, modeling of hybrid systems, design of hardware systems (using hardware description langua...
Xiaojun Liu, Eleftherios Matsikoudis, Edward A. Le...
JTRES
2010
ACM
13 years 7 months ago
The design of SafeJML, a specification language for SCJ with support for WCET specification
Safety-Critical Java (SCJ) is a dialect of Java that allows programmers to implement safety-critical systems, such as software to control airplanes, medical devices, and nuclear p...
Ghaith Haddad, Faraz Hussain, Gary T. Leavens
METRICS
1999
IEEE
13 years 12 months ago
Function Point Measurement Tool for UML Design Specification
Function point analysis(FPA) was proposedto help measure the size of a computerizedbusiness information system. It is widely used in the actual software development. However, it h...
Takuya Uemura, Shinji Kusumoto, Katsuro Inoue
LDTA
2010
13 years 5 months ago
Using DSLs for developing enterprise systems
This paper investigates the suitability of contemporary DSL tools in the context of enterprise software development. The main focus is on integration issues between the DSL tool, ...
Margus Freudenthal
CODES
2008
IEEE
14 years 2 months ago
You can catch more bugs with transaction level honey
In this special session we explore holistic approaches to hardware/software debug that use or integrate transaction level models (TLMs). We present several TLM-based approaches to...
Miron Abramovici, Kees Goossens, Bart Vermeulen, J...