Towards agent-based software engineering for information-dependent enterprise applications

1997 ◽  
Vol 144 (1) ◽  
pp. 38 ◽  
Author(s):  
S.C. Laufmann
Author(s):  
P. Kefalas ◽  
M. Holcombe ◽  
G. Eleftherakis ◽  
M. Gheorghe

Recent advances in both the testing and verification of software based on formal specifications have reached a point where the ideas can be applied in a powerful way in the design of agent-based systems. The software engineering research has highlighted a number of important issues: the importance of the type of modelling technique used; the careful design of the model to enable powerful testing techniques to be used; the automated verification of the behavioural properties of the system; and the need to provide a mechanism for translating the formal models into executable software in a simple and transparent way.


Author(s):  
Anushree Sah ◽  
Shuchi Juyal Bhadula ◽  
Ankur Dumka ◽  
Saurabh Rawat

Enterprise applications are the DNA of any organization, and they hold the business logic, handle large amount of data, support multiprogramming, are easily maintainable, scalable, have high performance and are able to choreograph or orchestrate modules, and are fortified from attacks and vulnerabilities. These enterprise applications are the backbone of any organization and enhance the productivity and efficiency of the organization to a greater extent, thus ensuring the continuity in the business. So, after seeing the need and development of enterprise application, in this chapter, the authors present the idea of developing and discussing enterprise applications.


Sign in / Sign up

Export Citation Format

Share Document