Mathematical Notation in Formal Specification: Too Difficult for the Masses?
IEEE Transactions on Software Engineering
Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
Interaction-oriented programming
First international workshop, AOSE 2000 on Agent-oriented software engineering
The distributed mission training integrated threat environment system architecture and design
ACM Transactions on Modeling and Computer Simulation (TOMACS)
The specification and testing of quantified progress properties in distributed systems
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Increasing client-side confidence in remote component implementations
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Model-Based Service Creation in the Friends Project
PROMS 2001 Proceedings of the 6th International Conference on Protocols for Multimedia Systems
Techniques for Embedding Executable Specifications in Software Component Interfaces
ICCBSS '03 Proceedings of the Second International Conference on COTS-Based Software Systems
Supporting behavioral contracts for COM components
ISTA '01 Proceedings of the 2001 international conference on Information systems technology and its applications - Volume P-2
The specification of distributed objects: liveness and locality
CASCON '99 Proceedings of the 1999 conference of the Centre for Advanced Studies on Collaborative research
Web-based specification and integration of legacy services
CASCON '00 Proceedings of the 2000 conference of the Centre for Advanced Studies on Collaborative research
A Tool for Testing Liveness in Distributed Object Systems
TOOLS '00 Proceedings of the Technology of Object-Oriented Languages and Systems (TOOLS 34'00)
On the Role of Services in Enterprise Application Integration
STEP '02 Proceedings of the 10th International Workshop on Software Technology and Engineering Practice
Presence: Teleoperators and Virtual Environments - Fourth international workshop on presence
Runtime Validation of Behavioural Contracts for Component Software
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Systematic Component-Oriented development with Axiomatic Design
Journal of Systems and Software
Proceedings of the 21st International Conference on Association Francophone d'Interaction Homme-Machine
A survey of component based system quality assurance and assessment
Information and Software Technology
A methodology for writing class contracts
SOFSEM'05 Proceedings of the 31st international conference on Theory and Practice of Computer Science
ICCBSS'05 Proceedings of the 4th international conference on COTS-Based Software Systems
| Hi-index | 4.10 |
Networked computers are finding their way into a broader range of environments, from corporate offices to schools, homes, and shirt pockets. This new computing model fosters the development of distributed software components that communicate with one another across the underlying networked infrastructure. A distributed software component can be plugged into distributed applications that may not have existed when it was created. The intention is that many developers will reuse distributed software components to build new systems. An interface definition language usually is used to describe a distributed software component's interface. However, a notable limitation of current IDLs is that they generally only describe the names and type signatures of the component's attributes and operations. Current IDLs don't formally specify the behavior of the software component's operations. To help solve these problems, the authors have developed Biscotti (behavioral specification of distributed software component interfaces), a Java extension that enhances Java remote method invocation interfaces with Eiffel-style preconditions, postconditions, and invariants.