1671 search results - page 274 / 335 » Semantics Through Pictures |
121
Voted
HOTOS
1999
IEEE
15 years 7 months ago
1999
IEEE
The file is a well-understood and very simple abstraction, which has been successfully used in both centralized and distributed systems. However, files are not expressive enough t...
102
Voted
TOOLS
1999
IEEE
15 years 7 months ago
1999
IEEE
stone in the object-oriented paradigm is the abstraction mechanisms transcending analysis, design, and implementation. The notions of class, object, behaviour, and inheritance are...
139
Voted
TAGT
1998
Springer
15 years 7 months ago
1998
Springer
Reactive systems perform their tasks through interaction with their users or with other systems (as parts of a bigger system). An essential requirement for modeling such systems is...
112
Voted
TAPSOFT
1997
Springer
15 years 7 months ago
1997
Springer
The SML-like module systems are small typed languages of their own. As is, one would expect a proof of their soundness following from a proof of subject reduction. Unfortunately, t...
103
Voted
ICTAI
1993
IEEE
15 years 7 months ago
1993
IEEE
The guidar project aims to support the complete activity of Graphical User Interface Development And Reuse. We propose to organize the system as a collaborative architecture of in...