691 search results - page 96 / 139 » Modeling the Case Study with LDL and Implementing it with LD... |
ICSM
2002
IEEE
14 years 28 days ago
2002
IEEE
Modeling object-oriented applications using collaborations and roles is now well accepted. Collaboration-based or role-based designs decompose an application into tasks performed ...
FMSP
2000
ACM
14 years 10 days ago
2000
ACM
When a program P fails to satisfy a requirement R supposedly ensured by a detailed speci cation S that was used to implement P, there is a question about whether the problem arise...
ISORC
1999
IEEE
14 years 8 days ago
1999
IEEE
ation Oriented Action (CO action) is a modelling abstraction for representing collaborative behaviour between objects at different phases of the software development. In this pape...
IV
1999
IEEE
14 years 8 days ago
1999
IEEE
Java3D is an application-centred approach to building 3D worlds. We use Java3D and VRML to design a prototype WWW-based 3D Hotel Browsing system. A Java3D scene graph viewer was i...
CAV
2007
Springer
13 years 12 months ago
2007
Springer
Abstract. In this paper, we describe the features of the Timed Abstract State Machine toolset. The toolset implements the features of the Timed Abstract State Machine (TASM) langua...