Sciweavers

746 search results - page 124 / 150
» Real-Life Object-Oriented Systems
Sort
View
HICSS
2005
IEEE
151views Biometrics» more  HICSS 2005»
14 years 1 months ago
Inheritance in the Presence of Asynchronous Method Calls
— This paper considers a formal object-oriented model for distributed computing. Object orientation appears as a leading framework for concurrent and distributed systems. However...
Einar Broch Johnsen, Olaf Owe
NGITS
1993
Springer
13 years 11 months ago
AMOS - An Architecture for Active Mediators
AMOS (Active Mediators Object System) is an architecture to model, locate, search, combine, update, and monitor data in information systems with many work stations connected using...
Gustav Fahl, Tore Risch, Martin Sköld
SAC
2008
ACM
13 years 7 months ago
A reusable object-oriented design to support self-testable autonomic software
As the enabling technologies of autonomic computing continue to advance, it is imperative for researchers to exchange the details of their proposed techniques for designing, devel...
Tariq M. King, Alain E. Ramirez, Peter J. Clarke, ...
AFP
2004
Springer
105views Formal Methods» more  AFP 2004»
14 years 29 days ago
Epigram: Practical Programming with Dependent Types
Abstraction and application, tupling and projection: these provide the ‘software engineering’ superstructure for programs, and our familiar type systems ensure that these opera...
Conor McBride
SIGSOFT
2005
ACM
14 years 8 months ago
Strathcona example recommendation tool
Using the application programming interfaces (API) of large software systems requires developers to understand details about the interfaces that are often not explicitly defined. ...
Reid Holmes, Robert J. Walker, Gail C. Murphy