A process-object centered view of software environment architecture
An international workshop on Advanced programming environments
Software processes are software too
ICSE '87 Proceedings of the 9th international conference on Software Engineering
A general-purpose algorithm for analyzing concurrent programs
Communications of the ACM
Cesar: a static sequencing constraint analyzer
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
Cecil: A Sequencing Constraint Language for Automatic Static Analysis Generation
IEEE Transactions on Software Engineering
Language constructs for managing change in process-centered environments
SDE 4 Proceedings of the fourth ACM SIGSOFT symposium on Software development environments
Interprocedural static analysis of sequencing constraints
ACM Transactions on Software Engineering and Methodology (TOSEM)
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
Data flow analysis for verifying properties of concurrent programs
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
MERLIN: supporting cooperation in software development through a knowledge-based environment
Software process modelling and technology
ALF: a framework for building process-centred software engineering environments
Software process modelling and technology
APPL/A: a language for software process programming
ACM Transactions on Software Engineering and Methodology (TOSEM)
Multilanguage interoperability in distributed systems
Proceedings of the 18th international conference on Software engineering
A flexible architecture for building data flow analyzers
Proceedings of the 18th international conference on Software engineering
ICSE '97 Proceedings of the 19th 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
Consistency management for complex applications
Proceedings of the 20th international conference on Software engineering
Data flow analysis for checking properties of concurrent Java programs
Proceedings of the 21st international conference on Software engineering
The unified software development process
The unified software development process
Toward a theoretical understanding of why and when decision tree pruning algorithms fail
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Little-JIL/Juliette: a process definition language and interpreter
Proceedings of the 22nd international conference on Software engineering
Verifying properties of process definitions
Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
Data Flow Analysis in Software Reliability
ACM Computing Surveys (CSUR)
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
Apel: A Graphical Yet Executable Formalism forProcess Modeling
Automated Software Engineering
Software Environment Architectures and User Interface Facilities
IEEE Transactions on Software Engineering
The Effects of Training Set Size on Decision Tree Complexity
ICML '97 Proceedings of the Fourteenth International Conference on Machine Learning
EWSPT '92 Proceedings of the Second European Workshop on Software Process Technology
Using Little-JIL to Coordinate Agents in Software Engineering
ASE '00 Proceedings of the 15th IEEE international conference on Automated software engineering
The detection of anomalous interprocedural data flow
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Design Guidance through the Controlled Application of Constraints
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
PDP: Programming A Programmable Design Process
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
Enhancing Design Methods to Support Real Design Processes
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
Little-JIL 1.0 Language Report TITLE2:
Little-JIL 1.0 Language Report TITLE2:
ACM SIGSOFT Software Engineering Notes
An ontology definition framework for model driven development
ICCSA'06 Proceedings of the 2006 international conference on Computational Science and Its Applications - Volume Part IV
Hi-index | 0.00 |
This paper provides a brief summary of some overall currents and directions in my research with a particular emphasis on my work in the area of process. Using this perspective as a basis, the paper suggests the importance of using the challenge of grappling with hard technical problems as a basis for searching for deeper questions. The search for deep and enduring problems at the core of our discipline is rewarding for individual researchers and could provide substance, direction, purpose, and credibility for the community.