Smalltalk-80: the language and its implementation
Smalltalk-80: the language and its implementation
Concepts and experiments in computational reflection
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
Computational reflection in class based object-oriented languages
OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
Reflective facilities in Smalltalk-80
OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
Unified theories of cognition
Typing first-class continuations in ML
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Lisp and Symbolic Computation
Automatic program generation using sequent calculus
CSC '92 Proceedings of the 1992 ACM annual conference on Communications
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
From reuse library experiences to application generation architectures
SSR '95 Proceedings of the 1995 Symposium on Software reusability
Proceedings of the 24th annual international symposium on Computer architecture
Adaptive forms: an interaction paradigm for entering structured data
IUI '98 Proceedings of the 3rd international conference on Intelligent user interfaces
Synergy between component-based and generative approaches
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
Program synthesis based on Boyer-Moore theorem proving techniques
CSC '85 Proceedings of the 1985 ACM thirteenth annual conference on Computer Science
New architectures for constructed complex systems
Applied Mathematics and Computation
Patterns Handbook: Best Practices
Patterns Handbook: Best Practices
A component-based application framework for manufacturing execution systems in C# and .NET
CRPIT '02 Proceedings of the Fortieth International Conference on Tools Pacific: Objects for internet, mobile and embedded applications
Fault Tolerance: Principles and Practice
Fault Tolerance: Principles and Practice
A case study in software adaptation
WOSS '02 Proceedings of the first workshop on Self-healing systems
Portable serialization of CORBA objects: a reflective approach
OOPSLA '02 Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Automated software evolution towards design patterns
IWPSE '01 Proceedings of the 4th International Workshop on Principles of Software Evolution
A Roadmap of Agent Research and Development
Autonomous Agents and Multi-Agent Systems
Orthogonally persistent object systems
The VLDB Journal — The International Journal on Very Large Data Bases - Persistent object systems
Architectural views of aspects
Proceedings of the 2nd international conference on Aspect-oriented software development
Proceedings of the 1st OOPSLA Workshop on Reflection and Software Engineering: Reflection and Software Engineering, Papers from OORaSE 1999
Non-restrictive computational reflection
Computer Standards & Interfaces - Special issue: Adaptable software architectures
Formal development of correct algorithms: An example based on earley's recogniser
Proceedings of ACM conference on Proving assertions about programs
Recent worms: a survey and trends
Proceedings of the 2003 ACM workshop on Rapid malcode
Partial behavioral reflection: spatial and temporal selection of reification
OOPSLA '03 Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications
Composition, reuse and interaction analysis of stateful aspects
Proceedings of the 3rd international conference on Aspect-oriented software development
Enabling autonomic behavior in systems software with hot swapping
IBM Systems Journal
A type-theoretic foundation of continuations and prompts
Proceedings of the ninth ACM SIGPLAN international conference on Functional programming
Analysis and Algorithms for Restart
QEST '04 Proceedings of the The Quantitative Evaluation of Systems, First International Conference
IWSAS'01 Proceedings of the 2nd international conference on Self-adaptive software: applications
Adaptive agents and multi-agent systems: adaptation and multi-agent learning
Adaptive agents and multi-agent systems: adaptation and multi-agent learning
Self-organisation for survival in complex computer architectures
SOAR'09 Proceedings of the First international conference on Self-organizing architectures
Hi-index | 0.00 |
The possibility of building self-aware software fascinated computer scientist since the beginning of computer science. Research in AI, and in particular on software agents, agent system, computational reflection and reflective software delivered interesting results which moved towards the development of software systems with features of self-awareness. However, these approaches have not so far generated any clear success in terms of real and useful self-aware software. Here we introduce the theory of abstract communication systems, which describes the world in terms of systems and their environment. Systems comprise dense, inter-referencing clusters of communications. We analyse natural self-aware systems highlighting the critical features which make them able to be self-aware. We analyse software systems in terms of abstract communication systems theory and compare their critical features with these natural self-aware systems. We describe the necessary features of hypothetical self-aware software, discuss the existing barriers that stand in the way of realization of such systems and how these might be overcome.