The following pages link to (Q3998221):
Displayed 24 items.
- Eiffel (Q16053) (← links)
- JCML: A specification language for the runtime verification of Java card programs (Q436381) (← links)
- Highly interactive computational steering for coupled 3D flow problems utilizing multiple GPUs (Q539175) (← links)
- An environment for DEVS-based multiformalism simulation in common lisp/CLOS (Q686327) (← links)
- COTS selection using fuzzy interactive approach (Q691460) (← links)
- PROCOL. A concurrent object-oriented language with protocols delegation and constraints (Q758195) (← links)
- Seamless design: impedance mismatch revisited (Q885865) (← links)
- Issues in the design of a parallel object-oriented language (Q909434) (← links)
- Denotational semantics of an object-oriented programming language with explicit wrappers (Q1261310) (← links)
- Object inheritance beyond subtyping (Q1323343) (← links)
- Reasoning about dynamically evolving process structures (Q1333406) (← links)
- A temporal logic-based approach for the description of object behavior evolution (Q1353949) (← links)
- OSIPE - a tool for scientific programming in FORTRAN (Q1365917) (← links)
- Inherited extension of many-sorted theories (Q1816347) (← links)
- Denotational semantics of a simple model of Eiffel (Q1894321) (← links)
- Specification and verification of object-oriented programs using supertype abstraction (Q1902305) (← links)
- On simulation, subtyping and substitutability in sequential object systems (Q1906038) (← links)
- Integration of parametric and ``ad hoc'' second order polymorphism in a calculus with subtyping (Q1918933) (← links)
- On the equivalence of upward and downward inheritance reasoners (Q1924737) (← links)
- Routing and scheduling in a flexible job shop by tabu search (Q2366999) (← links)
- JMLUnit: The Next Generation (Q3067548) (← links)
- Operations on records (Q3349962) (← links)
- MULTIMEDIA ENVIRONMENTS: DESIGNS FOR SIMULATION (Q4297770) (← links)
- A paradigmatic object-oriented programming language: Design, static typing and semantics (Q4764618) (← links)