The program dependence graph and its use in optimization
ACM Transactions on Programming Languages and Systems (TOPLAS)
The priority-based coloring approach to register allocation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Validation and verification of software process models
Proceedings of the European symposium on Software development environments and CASE technology
Efficiently computing static single assignment form and the control dependence graph
ACM Transactions on Programming Languages and Systems (TOPLAS)
Data flow analysis for verifying properties of concurrent programs
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
APPL/A: a language for software process programming
ACM Transactions on Software Engineering and Methodology (TOSEM)
Aspect: an economical bug-detector
ICSE '91 Proceedings of the 13th international conference on Software engineering
A bi-level language for software process modeling
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Measurement and analysis of sequential design processes
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Type errors confuse the programmer (poster abstract)
ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
Software process validation: quantitatively measuring the correspondence of a process to a model
ACM Transactions on Software Engineering and Methodology (TOSEM)
Woflan: a Petri-net-based workflow analyzer
Systems Analysis Modelling Simulation
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
A fast algorithm for finding dominators in a flowgraph
ACM Transactions on Programming Languages and Systems (TOPLAS)
Specifying process-oriented hypertext for organizational computing
Journal of Network and Computer Applications
Identifying and correcting Java programming errors for introductory computer science students
SIGCSE '03 Proceedings of the 34th SIGCSE technical symposium on Computer science education
A Knowledge-Based Environment for Modeling and Simulating Software Engineering Processes
IEEE Transactions on Knowledge and Data Engineering
Little-JIL 1.0 Language Report TITLE2:
Little-JIL 1.0 Language Report TITLE2:
The Design of Evolutionary Process Modeling Languages
APSEC '04 Proceedings of the 11th Asia-Pacific Software Engineering Conference
Compilers: Principles, Techniques, and Tools (2nd Edition)
Compilers: Principles, Techniques, and Tools (2nd Edition)
FLAVERS: a finite state verification technique for software systems
IBM Systems Journal
IEEE Transactions on Software Engineering
Using the DEMO methodology for modeling open source software development processes
Information and Software Technology
Software process modeling languages: A systematic literature review
Information and Software Technology
Hi-index | 0.00 |
To formalize a process, its important aspects must be extracted and described in a model. This model is often written in a formal language so that the process itself can be automated. Since models are often developed iteratively, this language should support this iterative development cycle. However, many existing languages do not. In this paper, we use an existing high-level process modeling language and present a tool that we have developed for supporting iterative development. We have used our tool to develop and refine a process model of distributed software development for NetBeans.