Sciweavers

8109 search results - page 43 / 1622
» A Model of Component-Based Programming
Sort
View
96
Voted
TOOLS
1997
IEEE
15 years 6 months ago
Introduction to the Unified Modeling Language
Richard Thomas
89
Voted
ICALP
1993
Springer
15 years 6 months ago
Local Model Checking for Context-Free Processes
Hardi Hungar, Bernhard Steffen
82
Voted
IBM
1990
15 years 6 months ago
Evolution of Data Models
Hans-Jörg Schek, Marc H. Scholl
APLAS
2001
ACM
15 years 5 months ago
A Type System for the Push-Enter Model
Kwanghoon Choi, Taisook Han