Boundary NLC graph grammars--basic definitions, normal forms, and complexity
Information and Control
Statecharts: A visual formalism for complex systems
Science of Computer Programming
Strategies for real-time system specification
Strategies for real-time system specification
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
EDGE: an extendable graph editor
Software—Practice & Experience - Unix tools
A Unified High-Level Petri Net Formalism for Time-Critical Systems
IEEE Transactions on Software Engineering
MetaEdit: a flexible graphical environment for methodology modelling
CAiSE '91 Proceedings of the third international conference on Advanced information systems engineering
Eli: a complete, flexible compiler construction system
Communications of the ACM
Semantically Extended Dataflow Diagrams: A Formal Specification Tool
IEEE Transactions on Software Engineering
A general framework for bidirectional translation between abstract and pictorial data
ACM Transactions on Information Systems (TOIS) - Special issue on user interface software and technology
SOFTMAN: environment for forward and reverse CASE
Information and Software Technology - Special issue on CASE (computer-aided software engineering)
Tcl and the Tk toolkit
Experience with Formal Methods in Critical Systems
IEEE Software
A Framework for Expressing the Relationships Between Multiple Views in Requirements Specification
IEEE Transactions on Software Engineering
Formal Verification for Fault-Tolerant Architectures: Prolegomena to the Design of PVS
IEEE Transactions on Software Engineering
Mathematical Notation in Formal Specification: Too Difficult for the Masses?
IEEE Transactions on Software Engineering
Where Do Operations Come From? A Multiparadigm Specification Technique
IEEE Transactions on Software Engineering - Special issue: best papers of the 1996 international symposium on software testing and analysis ISSTA'96
Applications of Formal Methods
Applications of Formal Methods
An Invitation to Formal Methods
Computer
Generic Lifecycle Support in the ALMA Environment
IEEE Transactions on Software Engineering
An Improved Translation of SA/RT Specification Model to High-Level Timed Petri Nets
FME '96 Proceedings of the Third International Symposium of Formal Methods Europe on Industrial Benefit and Advances in Formal Methods
A Tutorial and Bibliographical Survey on Graph Grammars
Proceedings of the International Workshop on Graph-Grammars and Their Application to Computer Science and Biology
Proceedings of the International Workshop on Graph-Grammars and Their Application to Computer Science and Biology
Attributed graph grammars for graphics
Proceedings of the 2nd International Workshop on Graph-Grammars and Their Application to Computer Science
Specification of Graph Translators with Triple Graph Grammars
WG '94 Proceedings of the 20th International Workshop on Graph-Theoretic Concepts in Computer Science
SDE 1 Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
An approach to the generation of software life cycle support systems
An approach to the generation of software life cycle support systems
On formalizing UML with high-level petri nets
Concurrent object-oriented programming and petri nets
Modeling statecharts and activitycharts as signal equations
ACM Transactions on Software Engineering and Methodology (TOSEM)
A formal design notation for real-time systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Component Specifications for Robotics Integration
Autonomous Robots
A Formal Definition of Stuctured Analysis with Programmable Graph Grammars
AGTIVE '99 Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance
A Toolbox for Automating Visual Software Engineering
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
LEMMA: a language for easy medical models analysis
CBMS '97 Proceedings of the 10th IEEE Symposium on Computer-Based Medical Systems (CBMS '97)
Pounamu: A meta-tool for exploratory domain-specific visual language tool development
Journal of Systems and Software
REX, the rule and event eXplorer
Proceedings of the 2007 inaugural international conference on Distributed event-based systems
From graph transformation to software engineering and back
Formal Methods in Software and Systems Modeling
Hi-index | 0.00 |