ICECCS
2002
IEEE
14 years 4 months ago
2002
IEEE
Cost-effective development of large, integrated computer-based systems can be realized through systematic reuse of development experiences throughout the development process. In t...
ANSS
2002
IEEE
14 years 4 months ago
2002
IEEE
Modelica is a general equation-based object-oriented language for continuous and discrete-event modeling of physical systems for the purpose of efficient simulation. The language ...
GPCE
2003
Springer
14 years 4 months ago
2003
Springer
A domain-specific language provides domain experts with a abstraction for creating computer programs. As more and more domains embrace computers, programmers are tapping into this...
SOFTVIS
2003
ACM
14 years 4 months ago
2003
ACM
Whenever multiple representations or models of a system exist, there is the possibility of defining how they relate. In model driven software development, it is essential that th...
AOSE
2004
Springer
14 years 5 months ago
2004
Springer
Abstract. The Agent Modeling Language (AML) is a semi-formal visual modeling language, specified as an extension to UML 2.0. It is a consistent set of modeling constructs designed...
ECWEB
2005
Springer
14 years 5 months ago
2005
Springer
Many approaches have been developed for modeling the functional aspects of Web applications, but there is a lack of a modeling language for their architectural concerns. This paper...
VL
2005
IEEE
14 years 5 months ago
2005
IEEE
Design by Contract (DbC) is widely acknowledged to be a powerful technique for creating reliable software. DbC allows developers to specify the behavior of an operation precisely ...
ECBS
2005
IEEE
14 years 5 months ago
2005
IEEE
The fulfillment of time requirements is one of the major acceptance criteria of safety-critical and real-time systems. They are dictated by the environment of these systems and a...
AINA
2005
IEEE
14 years 5 months ago
2005
IEEE
Mobile code computation has lead to a new paradigm of distributed computation. A mobile process can move from site to site and interact with the resources as a local process. To p...
FDL
2006
IEEE
14 years 5 months ago
2006
IEEE
In the last few years the embedded systems design discipline required new design methodologies and new specification languages to support system engineers in developing heterogen...