11561 search results - page 265 / 2313 » A Language for Biochemical Systems |
173
click to vote
ECOOP
2005
Springer
16 years 7 days ago
2005
Springer
In this paper we investigate the addition of first-class relationships to a prototypical object-oriented programming language (a “middleweight” fragment of Java). We provide ...
244
click to vote
ITC
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper describes the implementation of a test pattern language using STIL [1], the IEEE Standard Test Interface Language (1450-1999), in a next generation, open architecture A...
206
click to vote
COOPIS
2002
IEEE
15 years 11 months ago
2002
IEEE
We extend the description logic ¢¤£¦¥¦§©¨ with a preference order on the axioms. With this strict partial order certain axioms can be overruled, if defeated with more ...
166
click to vote
IWSSD
2000
IEEE
15 years 11 months ago
2000
IEEE
In recent years, UML has become a standard language for modeling software requirements and design. In this paper we investigate the suitability of UML as a semiformal requirements...
163
click to vote
SAIG
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. This paper extends the recent work [CMT00] on the operational semantics and type system for a core language, called MiniMLBN ref , which exploits the notion of closed typ...