1998 ACM CR Categories: D.2.1 [Software Engineering] Requirements/Specificationslanguages; D.2.2 [Software Engineering] Design Tools and Techniquesobject-oriented design methods, state diagrams; D.2.4 [Software Engineering] Software/Program Verificationclass invariants, formal methods; F.3.1 [Logics and Meaning of Programs] Specifying and Verifying and Reasoning about Programsassertions, in...

Concurrency is unavoidable in modern software development, owing to the increasing complexity of computer systems and the widespread use of parallel computer hardware. Conventional approaches to concurrency are fraught with danger: in particular, uncontrolled access to shared resources, poor scalability and the inability of the programmer to reason about the correctness of a program. Process-or...

An AI tool for supporting an Object Oriented (OO) Software Engineering method is described. The OO paradigm requires the identification of an “object model” from a natural language software specification. The object-model derived from such an exercise is often unsuitable for direct implementation as relationships between objects also affect the model. The supported method (MOOSE) classifies rel...

Agent-Oriented Software Engineering is the one of the most recent contributions to the field of Software Engineering. It has several benefits compared to existing development approaches, in particular the ability to let agents represent high-level abstractions of active entities in a software system. This paper gives an overview of recent research and industrial applications of both general hig...

Downloading the book in this website lists can give you more advantages. It will show you the best book collections and completed collections. So many books can be found in this website. So, this is not only this object oriented software engineering with eiffel. However, this book is referred to read because it is an inspiring book to give you more chance to get experiences and also thoughts. T...

Today, reuse-oriented software engineering covers the process of the development and evolution of software systems by reusing existing experience (i.e., products, processes, and knowledge). One of the major problems of software reuse is the lack of knowledge and skills for understanding reusable experience. This paper explains how the reuse process can be used to support individual learning on ...

After reviewing existing AOSE methodologies, we have the impression that some more work is still needed, from a software engineering viewpoint, in order to apply them in an industrial context. For instance, the software development process is usually summarized in four or five steps for analysis and design, which is not realistic. Just taking a look at the Rational Unified Process [4] is enough...

Although agents and agent-based computing have been around for some time it is only until now that these topics begin to gain attendance beyond the research community; it is being discovered by non-researches that agent technology is a powerful tool for the development of large and complex systems. These days, typical software architectures contain many dynamically interacting components, each ...

Eiffel is an object-oriented language and environment combining the advances in reusable, flexible programming brought by object-oriented techniques with the concerns introduced by modem software engineering, particularly correcmess, reliability and efficiency. As a language, Eiffel offers an extensive combination of facilities: multiple and repeated inheritance, polymorphism and dynamic bindin...

The use of modelling abstractions to map from items in the real-world to objects in the computational domain is useful both for the effective implementation of abstract problem solutions and for the management of software complexity. This paper discusses the new approach of agent-oriented software engineering (AOSE), which uses the notion of an autonomous agent as its fundamental modelling abst...