Containment units: a hierarchically composable architecture for adaptive systems
Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
A Comparative Review of Process-Centered Software Engineering Environments
Annals of Software Engineering
Containment units: a hierarchically composable architecture for adaptive systems
ACM SIGSOFT Software Engineering Notes
Applying Real-Time Scheduling Techniques to Software Processes: A Position Paper
EWSPT '01 Proceedings of the 8th European Workshop on Software Process Technology
A Mobile Agent Approach to Process-Based Dynamic Adaptation of Complex Software Systems
EWSPT '01 Proceedings of the 8th European Workshop on Software Process Technology
Understanding process and the quest for deeper questions in software engineering research
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Evolution of the GPGP/TÆMS Domain-Independent Coordination Framework
Autonomous Agents and Multi-Agent Systems
Verifying process models built using parameterized state machines
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
Process support to help novices design software faster and better
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Retrofitting Autonomic Capabilities onto Legacy Systems
Cluster Computing
A dynamic and reactive approach to the supervision of BPEL processes
ISEC '08 Proceedings of the 1st India software engineering conference
Context as autonomic intelligence in a ubiquitous computing environment
International Journal of Internet Protocol Technology
A survey of autonomic computing—degrees, models, and applications
ACM Computing Surveys (CSUR)
Exception handling patterns for processes
Proceedings of the 4th international workshop on Exception handling
Using multi-agent platform for pure decentralised business workflows
Web Intelligence and Agent Systems
Using task models for cascading selective undo
TAMODIA'06 Proceedings of the 5th international conference on Task models and diagrams for users interface design
Representing process variation with a process family
ICSP'07 Proceedings of the 2007 international conference on Software process
Accurate estimates without calibration?
ICSP'08 Proceedings of the Software process, 2008 international conference on Making globally distributed software development a success story
Supporting negotiation and dispute resolution with computing and communication technologies
Proceedings of the FSE/SDP workshop on Future of software engineering research
Developing discrete event simulations from rigorous process definitions
Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium
SPW'05 Proceedings of the 2005 international conference on Unifying the Software Process Spectrum
Unifying microprocess and macroprocess research
SPW'05 Proceedings of the 2005 international conference on Unifying the Software Process Spectrum
Aspect-Oriented software development and software process
SPW'05 Proceedings of the 2005 international conference on Unifying the Software Process Spectrum
Adaptive internet interactive team video
ICWL'05 Proceedings of the 4th international conference on Advances in Web-Based Learning
Assessing 3-d integrated software development processes: a new benchmark
SPW/ProSim'06 Proceedings of the 2006 international conference on Software Process Simulation and Modeling
Release engineering practices and pitfalls
Proceedings of the 34th International Conference on Software Engineering
TaPP'12 Proceedings of the 4th USENIX conference on Theory and Practice of Provenance
A systematic process-model-based approach for synthesizing attacks and evaluating them
EVT/WOTE'12 Proceedings of the 2012 international conference on Electronic Voting Technology/Workshop on Trustworthy Elections
Architecture-centric support for adaptive service collaborations
ACM Transactions on Software Engineering and Methodology (TOSEM)
Hi-index | 0.00 |
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it easier to experiment with mechanized formal methods such as theorem provers ...