3765 search results - page 473 / 753 » Formal Methods for Systems Engineering Behavior Models |
184
click to vote
POPL
2010
ACM
16 years 4 months ago
2010
ACM
The method of logical relations is a classic technique for proving the equivalence of higher-order programs that implement the same observable behavior but employ different intern...
186
click to vote
VRML
2010
ACM
15 years 10 months ago
2010
ACM
In this paper, we describe a case study in usability engineering for Web3D learning systems and introduce a new step to the typical methods of the usability design. Pedagogical ap...
143
click to vote
DATE
2007
IEEE
16 years 1 months ago
2007
IEEE
AUTOSAR is a recent specification initiative which focuses on a model-driven architecture like methodology for automotive applications. However, needed engineering steps, or how-t...
199
click to vote
APCCM
2009
15 years 7 months ago
2009
In collaborative software development the utilization of Version Control Systems (VCSs) is a must. For this important task some graph-based VCSs for model artifacts already emerge...
192
click to vote
ISORC
2007
IEEE
16 years 29 days ago
2007
IEEE
This paper provides three contributions to the study of quality of service (QoS) configuration in component-based DRE systems. First, we describe the challenges associated with m...