1027 search results - page 84 / 206 » Language Support for Connector Abstractions |
69
Voted
FDL
2004
IEEE
15 years 2 months ago
2004
IEEE
In a companion paper [HVV04], we have investigated the deficiency of existing design approaches in supporting predictability for real-time control system development. A design app...
101
Voted
ICSE
2011
IEEE-ACM
14 years 2 months ago
2011
IEEE-ACM
A software architecture describes the structure of a computing system by specifying software components and their interactions. Mapping a software architecture to an implementatio...
ML
2006
ACM
14 years 11 months ago
2006
ACM
Higher-order typed languages, such as ML, provide strong support for data and type abn. While such abstraction is often viewed as costing performance, there are situations where i...
OOPSLA
2005
Springer
15 years 4 months 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...
87
Voted
LADS
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. More and more aspects of concurrency and concurrent programming are becoming part of mainstream programming and software engineering, as a result of several factors, such...