Automated deduction by theory resolution
Journal of Automated Reasoning
Relating viewpoints: a preface to Viewpoints 96
ISAW '96 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops
Emergent structures in sparse fields of Conway's “Game of Life”
ALIFE Proceedings of the sixth international conference on Artificial life
Knowledge representation: logical, philosophical and computational foundations
Knowledge representation: logical, philosophical and computational foundations
Causality: models, reasoning, and inference
Causality: models, reasoning, and inference
Generative programming: methods, tools, and applications
Generative programming: methods, tools, and applications
Simplification by Cooperating Decision Procedures
ACM Transactions on Programming Languages and Systems (TOPLAS)
Using multidimensional separation of concerns to (re)shape evolving software
Communications of the ACM
Automated theorem proving in software engineering
Automated theorem proving in software engineering
Problem frames: analyzing and structuring software development problems
Problem frames: analyzing and structuring software development problems
Primality and Cryptography
Computer-Aided Reasoning: An Approach
Computer-Aided Reasoning: An Approach
The Art of the Metaobject Protocol
The Art of the Metaobject Protocol
Automatic Creation of Human-Competitive Programs and Controllers by Means of Genetic Programming
Genetic Programming and Evolvable Machines
The Mythical Man-Month: After 20 Years
IEEE Software
ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
PVS: A Prototype Verification System
CADE-11 Proceedings of the 11th International Conference on Automated Deduction: Automated Deduction
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
WSC '74 Proceedings of the 7th conference on Winter simulation - Volume 2
Lean Software Development: An Agile Toolkit
Lean Software Development: An Agile Toolkit
Domain-Driven Design: Tacking Complexity In the Heart of Software
Domain-Driven Design: Tacking Complexity In the Heart of Software
Model-Integrated Development of Complex Applications
SAST '97 Proceedings of the 5th International Symposium on Assessment of Software Tools (SAST '97)
Knowledge Representation and Reasoning
Knowledge Representation and Reasoning
Software Factories: Assembling Applications with Patterns, Models, Frameworks, and Tools
Software Factories: Assembling Applications with Patterns, Models, Frameworks, and Tools
MDA Distilled
Expert Systems: Principles and Programming
Expert Systems: Principles and Programming
IEEE Transactions on Software Engineering
IOLTS '04 Proceedings of the International On-Line Testing Symposium, 10th IEEE
Consistency Checking in an Infrastructure for Large-Scale Generative Programming
Proceedings of the 19th IEEE international conference on Automated software engineering
Autopoiesis and cognition in the game of life
Artificial Life
Directions for AI in the eighties
ACM SIGART Bulletin
Unified Modeling Language User Guide, The (2nd Edition) (Addison-Wesley Object Technology Series)
Unified Modeling Language User Guide, The (2nd Edition) (Addison-Wesley Object Technology Series)
On LISP: Advanced Techniques for Common LISP
On LISP: Advanced Techniques for Common LISP
Software Product Line Engineering: Foundations, Principles and Techniques
Software Product Line Engineering: Foundations, Principles and Techniques
Rationale Management in Software Engineering
Rationale Management in Software Engineering
Language constructs for context-oriented programming: an overview of ContextL
DLS '05 Proceedings of the 2005 symposium on Dynamic languages
Harnessing Disruptive Innovation in Formal Verification
SEFM '06 Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods
Handbook of Modal Logic, Volume 3 (Studies in Logic and Practical Reasoning)
Handbook of Modal Logic, Volume 3 (Studies in Logic and Practical Reasoning)
Commonsense Reasoning
The Description Logic Handbook
The Description Logic Handbook
Modeling traceability of concerns in architectural views
Proceedings of the 10th international workshop on Aspect-oriented modeling
Reflective layer activation in ContextL
Proceedings of the 2007 ACM symposium on Applied computing
Causality and Counterfactuals in the Situation Calculus
Journal of Logic and Computation
Systematically refactoring inheritance to delegation in java
Proceedings of the 30th international conference on Software engineering
Interview: Donald Knuth: A life's work interrupted
Communications of the ACM - Designing games with a purpose
Change-Enabled Software Systems
Software-Intensive Systems and New Computing Paradigms
Software Engineering
Handbook of Knowledge Representation
Handbook of Knowledge Representation
Identifiability of path-specific effects
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Explorations in design space: unconventional electronics designthrough artificial evolution
IEEE Transactions on Evolutionary Computation
Introducing variability into aspect-oriented modeling approaches
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
An expressive aspect composition language for UML state diagrams
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Enhancing UML state machines with aspects
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Modeling adaptation with a tuple-based coordination language
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Modeling adaptation with Klaim
ACM SIGAPP Applied Computing Review
DCCL: verification of component systems with ensembles
Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering
Hi-index | 0.00 |
Software development is difficult, even if we control most of the operational parameters and if the software is designed to run on a single machine. But in the future we will face an even more challenging task: engineering ensembles consisting of thousands, or even millions, of nodes, all operating in parallel, with open boundaries, possibly unreliable components and network links, and governed by multiple entities. To develop reliable and trustworthy software for these kinds of systems we need to go far beyond the current state of the art and address fundamental problems in software development. We present some challenges and promising avenues for research about software-engineering for ensembles.