Compilers: principles, techniques, and tools
Compilers: principles, techniques, and tools
Deriving protocol specifications from service specifications
SIGCOMM '86 Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols
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
A formal adaption method for process descriptions
ICSE '89 Proceedings of the 11th international conference on Software engineering
A hierarchical and functional software process description and its enaction
ICSE '89 Proceedings of the 11th international conference on Software engineering
Managing software processes in the environment MELMAC
SDE 4 Proceedings of the fourth ACM SIGSOFT symposium on Software development environments
Language constructs for managing change in process-centered environments
SDE 4 Proceedings of the fourth ACM SIGSOFT symposium on Software development environments
Supporting cooperation in the Marvel process-centered SDE
SDE 5 Proceedings of the fifth ACM SIGSOFT symposium on Software development environments
Concepts and implementation of a rule-based process engine
ICSE '92 Proceedings of the 14th international conference on Software engineering
On tools supporting the use of formal description techniques in protocol development
Computer Networks and ISDN Systems - Special issue on tools for FDTs
VTM: A Graph Editor for Large Trees
Proceedings of the IFIP 12th World Computer Congress on Algorithms, Software, Architecture - Information Processing '92, Volume 1 - Volume I
Decomposition of functionality: a correctness-preserving LOTOS transformation
Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing and Verification X
LOTOS enhancement to specify time constraint among non-adjacent actions using first order logic
FORTE '93 Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques, VI
Test System for a Restricted Class of LOTOS Expressions with Data Parameters
Proceedings of the IFIP TC6/WG6.1 Fifth International Workshop on Protocol Test Systems V
Deriving protocol specifications from service specifications written in LOTOS
Distributed Computing
Journal of Systems and Software
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
Hi-index | 0.00 |