Logical routing specification in office information systems
ACM Transactions on Information Systems (TOIS)
Actors: a model of concurrent computation in distributed systems
Actors: a model of concurrent computation in distributed systems
Software engineering: a practitioner's approach (2nd ed.)
Software engineering: a practitioner's approach (2nd ed.)
Research directions in object-oriented programming
Research directions in object-oriented programming
A formal specification for a user interface for office automation
A formal specification for a user interface for office automation
An object-oriented approach to the specification of applications for office automation
An object-oriented approach to the specification of applications for office automation
ACM Transactions on Information Systems (TOIS) - Special issue: selected papers from the conference on office information systems
Office Information Systems and Computer Science
ACM Computing Surveys (CSUR)
The design requirements of office systems
ACM Transactions on Information Systems (TOIS)
Communicating sequential processes
Communications of the ACM
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Software Specification Techniques (International Computer Science Series)
Software Specification Techniques (International Computer Science Series)
Designing Integrated Systems for the Office Environment
Designing Integrated Systems for the Office Environment
Office Information Systems
| Hi-index | 0.00 |
Office Automation (OA) is an approach to the new way of handling information in an office and as such there is no universally accepted definition for it. We have defined it as the body of knowledge that is concerned with the analysis, design, implementation, efficiency and application of processes that transform information in an office. The trend toward full office automation has been the result of dramatic fall in the cost of computer hardware and technological advances in the field of communications. The result has been to make interconnected computer systems and computer networks a viable and cost effective solution to many problems in the offices.The purpose of this paper is to address some of the important issues surrounding the construction of office systems and to describe the design principles of a formal specification methodology for office systems. In particular, we discuss the desired properties of a computational model upon which a specification methodology for office systems should be based. An overview of ABSL, an object-oriented specification methodology that we are currently developing is presented and the main ideas in this methodology are described.