An axiomatic basis for computer programming
Communications of the ACM
An agent-based approach for building complex software systems
Communications of the ACM
Software Engineering Economics
Software Engineering Economics
Heterogeneous Agent Systems
Resource Allocation in Distributed Factory Scheduling
IEEE Expert: Intelligent Systems and Their Applications
Impact: A Platform for Collaborating Agents
IEEE Intelligent Systems
Software Documentation-Driven Manufacturing
COMPSAC '03 Proceedings of the 27th Annual International Conference on Computer Software and Applications
Documentation Driven Development for Complex Real-Time Systems
IEEE Transactions on Software Engineering
The Calculi of Lambda Conversion. (AM-6) (Annals of Mathematics Studies)
The Calculi of Lambda Conversion. (AM-6) (Annals of Mathematics Studies)
The Theory of Timed I/O Automata (Synthesis Lectures in Computer Science)
The Theory of Timed I/O Automata (Synthesis Lectures in Computer Science)
The Contract Net Protocol: High-Level Communication and Control in a Distributed Problem Solver
IEEE Transactions on Computers
Pitfalls of agent system development on the basis of a travel support system
BIS'07 Proceedings of the 10th international conference on Business information systems
Model checking publish-subscribe systems
SPIN'03 Proceedings of the 10th international conference on Model checking software
Statistical parsing with a context-free grammar and word statistics
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
| Hi-index | 0.00 |
Development and analysis of complex systems embedded in physical environments requires special modeling techniques. Development aids involve abstraction on multiple levels of representation in order to connect crosscutting constraints and facilitate involvement of various stakeholders. Alternatively, run-time analysis requires type of modeling that is based on representation of interactions and behaviors. We discuss the Documentation Driven Development (DDD) approach for software development and Agent Based Systems for runtime analysis. We show that despite differences in architectures and functions both approaches possess important properties of reliability and flexibility and allow easy upgrading of their elements.