Statecharts: A visual formalism for complex systems
Science of Computer Programming
Software processes are software too
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Foundations for the Arcadia environment architecture
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
A plan-based intelligent assistant that supports the software development
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
The architecture of an active database management system
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Compiling complex database transition triggers
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
A hierarchical and functional software process description and its enaction
ICSE '89 Proceedings of the 11th international conference on Software engineering
Integrating testing techniques through process programming
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
A mechanism for environment integration
ACM Transactions on Programming Languages and Systems (TOPLAS)
STATEMATE: A Working Environment for the Development of Complex Reactive Systems
IEEE Transactions on Software Engineering
Reconciling environment integration and component independence
SDE 4 Proceedings of the fourth ACM SIGSOFT symposium on Software development environments
Software process enactment in Oikos
SDE 4 Proceedings of the fourth ACM SIGSOFT symposium on Software development environments
Managing software processes in the environment MELMAC
SDE 4 Proceedings of the fourth ACM SIGSOFT symposium on Software development environments
Modeling long-running activities as nested sagas
Data Engineering
MVP-L: a language for process modeling in-the-large
MVP-L: a language for process modeling in-the-large
APPL/A: a prototype language for software-process programming
APPL/A: a prototype language for software-process programming
Initial software process management in EPOS
Software Engineering Journal - Special issue on software process and its support
Dynamic restructuring of transactions
Database transaction models for advanced applications
Supporting cooperation in the Marvel process-centered SDE
SDE 5 Proceedings of the fifth ACM SIGSOFT symposium on Software development environments
SDE 5 Proceedings of the fifth ACM SIGSOFT symposium on Software development environments
PLEIADES: an object management system for software engineering environments
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
Concepts for evolving software processes
Software process modelling and technology
EPOS: object-oriented cooperative process modelling
Software process modelling and technology
MERLIN: supporting cooperation in software development through a knowledge-based environment
Software process modelling and technology
OIKOS: constructing process-centred SDEs
Software process modelling and technology
A bi-level language for software process modeling
Configuration management
Component-object interoperability in a heterogeneous distributed environment
Component-object interoperability in a heterogeneous distributed environment
ICSE '91 Proceedings of the 13th international conference on Software engineering
Computational reflection in software process modeling: the SLANG approach
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Programming heterogeneous transactions for software development environments
ICSE '93 Proceedings of the 15th international conference on Software Engineering
The SMART approach for software process engineering
ICSE '94 Proceedings of the 16th international conference on Software engineering
A relational model of data for large shared data banks
Communications of the ACM
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Rule Chaining in Marvel: Dynamic Binding of Parameters
IEEE Expert: Intelligent Systems and Their Applications
The Cactis Project: Database Support for Software Environments
IEEE Transactions on Software Engineering
Experiences With an Object Manager for a Process-Centered Environment
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
VLDB '85 Proceedings of the 11th international conference on Very Large Data Bases - Volume 11
Supporting Cooperation in the SPADE-1 Environment
IEEE Transactions on Software Engineering
CSPL: An Ada95-Like, Unix-Based Process Environment
IEEE Transactions on Software Engineering
ICSE '97 Proceedings of the 19th international conference on Software engineering
Assessing process-centered software engineering environments
ACM Transactions on Software Engineering and Methodology (TOSEM)
The design of a next-generation process language
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
Version models for software configuration management
ACM Computing Surveys (CSUR)
WWAC: WinWin abstraction based decision coordination
WACC '99 Proceedings of the international joint conference on Work activities coordination and collaboration
Consistency management for complex applications
Proceedings of the 20th international conference on Software engineering
Software process support over the Internet
Proceedings of the 21st international conference on Software engineering
Software process validation: quantitatively measuring the correspondence of a process to a model
ACM Transactions on Software Engineering and Methodology (TOSEM)
Using UML for software process modeling
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
Specification and implementation of exceptions in workflow management systems
ACM Transactions on Database Systems (TODS)
Little-JIL/Juliette: a process definition language and interpreter
Proceedings of the 22nd international conference on Software engineering
The JEDI Event-Based Infrastructure and Its Application to the Development of the OPSS WFMS
IEEE Transactions on Software Engineering
An architecture for flexible, evolvable process-driven user-guidance environments
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Federating Process-Centered Environments: The Oz Experience
Automated Software Engineering
Formalizing UML-Based Process Models Using Graph Transformations
AGTIVE '99 Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance
PDP: Programming A Programmable Design Process
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
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
Process inheritance and instance modification
GROUP '03 Proceedings of the 2003 international ACM SIGGROUP conference on Supporting group work
Data & Knowledge Engineering - Special issue: Advances in business process management
Using aspects to support the software process: XP over Eclipse
Proceedings of the 5th international conference on Aspect-oriented software development
Tool support for iterative software process modeling
Information and Software Technology
Proceedings of the 30th international conference on Software engineering
Rigorously Defining and Analyzing Medical Processes: An Experience Report
Models in Software Engineering
A Pattern for Modeling Rework in Software Development Processes
ICSP '09 Proceedings of the International Conference on Software Process: Trustworthy Software Development Processes
Operational definition and automated inference of test-driven development with Zorro
Automated Software Engineering
Models and tools for managing development processes
Models and tools for managing development processes
Towards a library for process programming
BPM'03 Proceedings of the 2003 international conference on Business process management
Using UML for modelling the static part of a software process
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Hi-index | 0.00 |
Software process programming is the coding of software processes inexecutable programming languages. Process programming offers manypotential benefits, but their realization has been hampered by a lack ofexperience in the design and use of process programming languages.APPL/A is a prototype software process programming language developed tohelp gain this experience. It is intended for the coding of programs torepresent and support software processes including process, product, andproject management. APPL/A is defined as an extension to Ada, to whichit adds persistent programmable relations, concurrent triggers onrelation operations (for reactive control), optionally and dynamicallyenforceable predicates on relations (which may serve as constraints),and composite statements that provide alternative combinations ofserializability, atomicity, and consistency enforcement (for programminghigh-level transactions). APPL/A has been used to codeengineering-oriented applications, like requirements specification anddesign, as well as management-related activities, such as personnelassignment, task scheduling, and project monitoring. APPL/A has alsoenabled us to experiment with process program design techniques andarchitectures, including process state reification, intermittent (orpersistent) processes, reflexive and metaprocesses, and multiple-processsystems. Our ability to address a wide range of software processes andprocess characteristics indicates that the APPL/A constructs representimportant and general capabilities for software processprogramming.—Authors' Abstract