5634 search results - page 701 / 1127 » About Abstract Classes |
200
click to vote
FDL
2006
IEEE
16 years 28 days ago
2006
IEEE
Reusing IP-cores to construct system models facilitated by automated generation of glue-logic, and automated composability checks can help designers to create efficient simulation...
210
click to vote
ITICSE
2005
ACM
16 years 13 days ago
2005
ACM
concepts more concrete. The method has two main learning outcomes: • Language Specification – The goal of the assignment is to be able to build LEGO® creations on a standard g...
183
click to vote
OOPSLA
2005
Springer
16 years 11 days ago
2005
Springer
This paper describes a type system that is capable of expressing and enforcing immutability constraints. The speonstraint expressed is that the abstract state of the object to whi...
197
click to vote
EDOC
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper presents a conceptual framework for service modelling and refinement, called the COSMO (COnceptual Service MOdelling) framework. This framework provides concepts to mode...
174
click to vote
TAPSOFT
1995
Springer
15 years 10 months ago
1995
Springer
Abstract. Binding-time analyses based on flow analysis have been presented by Bondorf, Consel, Bondorf and Jørgensen, and Schwartzbach and the present author. The analyses are fo...