A semantics of multiple inheritance.
Proc. of the international symposium on Semantics of data types
Diagramming techniques for analysts and programmers
Diagramming techniques for analysts and programmers
A distributed alternative to finite-state-machine specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Petri nets: an introduction
Introduction to artificial intelligence
Introduction to artificial intelligence
Current trends in concurrency. Overviews and tutorials
The mathematics of inheritance systems
The mathematics of inheritance systems
Principles of artificial intelligence
Principles of artificial intelligence
The visual display of quantitative information
The visual display of quantitative information
Statecharts: A visual formalism for complex systems
Science of Computer Programming
Graph Theory, 1736-1936
Specification and verification of concurrent programs by A∀automata
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Statemate: a working environment for the development of complex reactive systems
ICSE '88 Proceedings of the 10th international conference on Software engineering
On the development of reactive systems
Logics and models of concurrent systems
A simplied universal relation assumption and its properties
ACM Transactions on Database Systems (TODS)
The entity-relationship model—toward a unified view of data
ACM Transactions on Database Systems (TODS) - Special issue: papers from the international conference on very large data bases: September 22–24, 1975, Framingham, MA
Degrees of acyclicity for hypergraphs and relational database schemes
Journal of the ACM (JACM)
Proving Liveness Properties of Concurrent Programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Communicating sequential processes
Communications of the ACM
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Introduction To Automata Theory, Languages, And Computation
Introduction To Automata Theory, Languages, And Computation
Connections in acyclic hypergraphs: extended abstract
PODS '82 Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems
Associative Networks: The Representation and Use of Knowledge by Computers
Associative Networks: The Representation and Use of Knowledge by Computers
The ESTEREL Synchronous Programming Language and its Mathematical Semantics
Seminar on Concurrency, Carnegie-Mellon University
A Data Type Approach to the Entity-Relationship Approach
Proceedings of the 1st International Conference on the Entity-Relationship Approach to Systems Analysis and Design
Graphs and Hypergraphs
Reflections on NoteCards: seven issues for the next generation of hypermedia systems
Communications of the ACM
Statemate: a working environment for the development of complex reactive systems
ICSE '88 Proceedings of the 10th international conference on Software engineering
State trees as structured finite state machines for user interfaces
UIST '88 Proceedings of the 1st annual ACM SIGGRAPH symposium on User Interface Software
UIST '89 Proceedings of the 2nd annual ACM SIGGRAPH symposium on User interface software and technology
Software process modeling: principles of entity process models
ICSE '89 Proceedings of the 11th international conference on Software engineering
The use of lexical affinities in requirements extraction
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Human factors: its place in system development methods
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Conceptual Modeling in the Context of Development
IEEE Transactions on Software Engineering
STATEMATE: A Working Environment for the Development of Complex Reactive Systems
IEEE Transactions on Software Engineering
ENIAM: a more complete conceptual schema language
VLDB '89 Proceedings of the 15th international conference on Very large data bases
SIGBDP '90 Proceedings of the 1990 ACM SIGBDP conference on Trends and directions in expert systems
An environment for specifying an executing hierarchical Petri nets
ICSE '90 Proceedings of the 12th international conference on Software engineering
Towards the Automatic Generation of Software Diagrams
IEEE Transactions on Software Engineering
Support for specifying temporal behavior in Ada designs
SETA1 Proceedings of the first international symposium on Environments and tools for Ada
System construction with object-oriented pictures
ACM SIGSOFT Software Engineering Notes
Miro: Visual Specification of Security
IEEE Transactions on Software Engineering
S-R machines: a visual formalism for reactive and interactive systems
ACM SIGSOFT Software Engineering Notes
The use of a software specification metalanguage
SAC '92 Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's
DOODLE: a visual language for object-oriented databases
SIGMOD '92 Proceedings of the 1992 ACM SIGMOD international conference on Management of data
Visualizing queries and querying visualizations
ACM SIGMOD Record
On statecharts with overlapping
ACM Transactions on Software Engineering and Methodology (TOSEM)
OOPSLA '92 conference proceedings on Object-oriented programming systems, languages, and applications
Frameworks for interactive, extensible, information-intensive applications
UIST '92 Proceedings of the 5th annual ACM symposium on User interface software and technology
Visualizing and querying software structures
ICSE '92 Proceedings of the 14th international conference on Software engineering
Converting a textbook to hypertext
ACM Transactions on Information Systems (TOIS)
ACM Transactions on Modeling and Computer Simulation (TOMACS)
ACE: building interactive graphical applications
Communications of the ACM - Special issue on graphical user interfaces
Enhancing compositional reachability analysis with context constraints
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
Using statecharts to model hypertext
ECHT '92 Proceedings of the ACM conference on Hypertext
Visual support for reengineering work processes
COCS '93 Proceedings of the conference on Organizational computing systems
Exploring large hyperdocuments: fisheye views of nested networks
HYPERTEXT '93 Proceedings of the fifth ACM conference on Hypertext
Hy+: a Hygraph-based query and visualization system
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
A nested-graph model for the representation and manipulation of complex objects
ACM Transactions on Information Systems (TOIS)
Adapting an Object-Oriented Development Method
IEEE Software
Architecture and applications of the Hy+ visualization system
IBM Systems Journal
Identification of complete data flow diagrams
ACM SIGSOFT Software Engineering Notes
M.E.R.O.DE.: a model-driven entity-relationship object-oriented Development method
ACM SIGSOFT Software Engineering Notes
An object-based approach to protocol software implementation
SIGCOMM '94 Proceedings of the conference on Communications architectures, protocols and applications
Specification of interface interaction objects
CHI '94 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Randomized graph drawing with heavy-duty preprocessing
AVI '94 Proceedings of the workshop on Advanced visual interfaces
Using expert systems to understand object-oriented behavior
SIGCSE '95 Proceedings of the twenty-sixth SIGCSE technical symposium on Computer science education
Templar: a knowledge-based language for software specifications using temporal logic
ACM Transactions on Information Systems (TOIS)
Specifying dynamic support for collaborative work within WORLDS
COCS '95 Proceedings of conference on Organizational computing systems
WorkFlow systems: a few definitions and a few suggestions
COCS '95 Proceedings of conference on Organizational computing systems
VHDL-based communication and synchronization synthesis
EURO-DAC '95/EURO-VHDL '95 Proceedings of the conference on European design automation
Completeness and consistency analysis of state-based requirements
Proceedings of the 17th international conference on Software engineering
PARTS: a temporal logic-based real-time software specification and verification method
Proceedings of the 17th international conference on Software engineering
Developing an object-oriented software testing and maintenance environment
Communications of the ACM - Special issue on object-oriented experiences and future trends
Experiences and lessons from the analysis of TCAS II
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
Executable object modeling with statecharts
Proceedings of the 18th international conference on Software engineering
Navigating hierarchically clustered networks through fisheye and full-zoom methods
ACM Transactions on Computer-Human Interaction (TOCHI)
HCI in Italy: an overview of the current state of research
ACM SIGCHI Bulletin
Drawing graphs nicely using simulated annealing
ACM Transactions on Graphics (TOG)
Context constraints for compositional reachability analysis
ACM Transactions on Software Engineering and Methodology (TOSEM)
ACM SIGSOFT Software Engineering Notes
A collaborative model of feedback in human-computer interaction
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Multiple view analysis of designs
ISAW '96 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops
ACM SIGMOD Record
A framework for information visualisation
ACM SIGMOD Record
System design using an integrated specification and performance modeling methodology
EURO-DAC '96/EURO-VHDL '96 Proceedings of the conference on European design automation
Visual modeling of DEVS-based multiformalism systems based on higraphs
WSC '93 Proceedings of the 25th conference on Winter simulation
Hierarchical object nets—a methodology for graphical modeling of discrete event systems
WSC '93 Proceedings of the 25th conference on Winter simulation
Hardware/software codesign: a perspective
ICSE '91 Proceedings of the 13th international conference on Software engineering
A high level language for specifying graph based languages and their programming environments
ICSE '93 Proceedings of the 15th international conference on Software Engineering
An integrated method for effective behaviour analysis of distributed systems
ICSE '94 Proceedings of the 16th international conference on Software engineering
Using metamodels of methodologies to determine the needs for reusability support
Proceedings of the 1997 symposium on Software reusability
OOPSLA '94 Addendum to the proceedings on Object-oriented programming systems, languages, and applications (Addendum)
Integration of sequential scenarios
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
XHMBS: a formal model to support hypermedia specification
Proceedings of the ninth ACM conference on Hypertext and hypermedia : links, objects, time and space---structure in hypermedia systems: links, objects, time and space---structure in hypermedia systems
IEEE Transactions on Software Engineering
Integration of Sequential Scenarios
IEEE Transactions on Software Engineering
From Centralized Workflow Specification to Distributed WorkflowExecution
Journal of Intelligent Information Systems - Special issue on workflow management systems
Declarative workflows that support easy modification and dynamic browsing
WACC '99 Proceedings of the international joint conference on Work activities coordination and collaboration
A survey of structured and object-oriented software specification methods and techniques
ACM Computing Surveys (CSUR)
Three dimensional software modelling
Proceedings of the 20th international conference on Software engineering
Visual software development using an object-relationship model
ACM-SE 37 Proceedings of the 37th annual Southeast regional conference (CD-ROM)
Formal verification in hardware design: a survey
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Software process modeling example
ISPW '90 Proceedings of the 5th international software process workshop on Experience with software process models
Reducing line clutter in software engineering diagrams
CSC '91 Proceedings of the 19th annual conference on Computer Science
IEEE Transactions on Software Engineering
Proceedings of the Conference on The Future of Software Engineering
Software evolution in componentware using requirements/assurances contracts
Proceedings of the 22nd international conference on Software engineering
Maintaining hierarchical graph views
SODA '00 Proceedings of the eleventh annual ACM-SIAM symposium on Discrete algorithms
An algorithm for blob hierarchy layout
AVI '00 Proceedings of the working conference on Advanced visual interfaces
An open system framework for component-based CNC machines
ACM Computing Surveys (CSUR)
A knowledge-based method for inferring semantic concepts from visual models of system behavior
ACM Transactions on Software Engineering and Methodology (TOSEM)
A real world object modeling method for creating simulation environment of real-time systems
OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Graph rewrite systems for program optimization
ACM Transactions on Programming Languages and Systems (TOPLAS)
Usability analysis with Markov models
ACM Transactions on Computer-Human Interaction (TOCHI)
Object orientation in hierarchical predicate transition nets
Concurrent object-oriented programming and petri nets
Alloy: a lightweight object modelling notation
ACM Transactions on Software Engineering and Methodology (TOSEM)
The SPOOL design repository: architecture, schema, and mechanisms
Advances in software engineering
Agent-oriented analysis and modeling
ACM SIGSOFT Software Engineering Notes
Reflections on NoteCards: seven issues for the next generation of hypermedia systems
ACM Journal of Computer Documentation (JCD)
STATEMATE: a working environment for the development of complex reactive systems
Readings in hardware/software co-design
Removing edge-node intersections in drawings of graphs
Information Processing Letters
Synthesizing structured analysis and object-based formal specifications
Annals of Software Engineering
AbstFinder, A Prototype Natural Language Text Abstraction Finder for Use in Requirements Elicitation
Automated Software Engineering
Apel: A Graphical Yet Executable Formalism forProcess Modeling
Automated Software Engineering
Journal of Logic, Language and Information
Editorial: Efficacy of Diagrammatic Reasoning
Journal of Logic, Language and Information
Graph Applications in Programming
Programming and Computing Software
Consistency of the static and dynamic components of object-oriented specifications
Data & Knowledge Engineering
Lessons Learned in Managing Object-Oriented Development
IEEE Software
A Graph-Based Data Model and its Ramifications
IEEE Transactions on Knowledge and Data Engineering
A Graph-Based Framework for Multiparadigmatic Visual Access to Databases
IEEE Transactions on Knowledge and Data Engineering
Hyperlog: A Graph-Based System for Database Browsing, Querying, and Update
IEEE Transactions on Knowledge and Data Engineering
A Method for Design and Performance Modeling of Client/Server Systems
IEEE Transactions on Software Engineering
An introduction to the java foundation classes (JFC)
CHI '99 Extended Abstracts on Human Factors in Computing Systems
Using UML to specify QoS constraints in ODP
Computer Networks: The International Journal of Computer and Telecommunications Networking
From Play-In Scenarios to Code: An Achievable Dream
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Specification of Mixed Systems in KORRIGAN with the Support of a UML-Inspired Graphical Notation
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
AToM3: A Tool for Multi-formalism and Meta-modelling
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
Syntactic and Semantic Graphics Recognition: The Role of the Object-Process Methodology
GREC '99 Selected Papers from the Third International Workshop on Graphics Recognition, Recent Advances
Towards Event-Driven Modelling for Database Design
VLDB '94 Proceedings of the 20th International Conference on Very Large Data Bases
Constraint Matching for Diagram Design: Qualitative Visual Languages
Diagrams '00 Proceedings of the First International Conference on Theory and Application of Diagrams
On the Definition of Visual Languages and Their Editors
DIAGRAMS '02 Proceedings of the Second International Conference on Diagrammatic Representation and Inference
The Notion of ``Classes of a Path'' in ER Schemas
ADBIS '99 Proceedings of the Third East European Conference on Advances in Databases and Information Systems
ObjChart: Tangible Specification of Reactive Object Behavior
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
Automated Test Case Generation from Dynamic Models
ECOOP '00 Proceedings of the 14th European Conference on Object-Oriented Programming
Design and Implementation of a UML-Based Design Repository
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
A State Machine Based Approach for a Process Driven Development of Web-Applications
CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
A Compositional Real-Time Semantics of STATEMATE Designs
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
Visualization of Path Expressions in a Virtual Object-Oriented Database Query Language
DASFAA '99 Proceedings of the Sixth International Conference on Database Systems for Advanced Applications
Embedded Systems: Challenges in Specification and Verification
EMSOFT '02 Proceedings of the Second International Conference on Embedded Software
Towards Ontologically Based Semantics for UML Constructs
ER '01 Proceedings of the 20th International Conference on Conceptual Modeling: Conceptual Modeling
HGV: A Library for Hierarchies, Graphs, and Views
GD '02 Revised Papers from the 10th International Symposium on Graph Drawing
Computer Aided Multi-paradigm Modelling to Process Petri-Nets and Statecharts
ICGT '02 Proceedings of the First International Conference on Graph Transformation
An Algebraic Foundation for Higraphs
CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic
An Integrated Semantics for UML Class, Object and State Diagrams Based on Graph Transformation
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
Towards an Automatic Integration of Statecharts
ER '99 Proceedings of the 18th International Conference on Conceptual Modeling
Drawing Hypergraphs in the Subset Standard (Short Demo Paper)
GD '00 Proceedings of the 8th International Symposium on Graph Drawing
Models for cooperative activities over the web
Web-enabled systems integration
Evaluating real-time software specification languages
Computer Standards & Interfaces
Integrating and customizing heterogeneous e-commerce applications
The VLDB Journal — The International Journal on Very Large Data Bases
Use cases for distributed real-time software architectures
Engineering of distributed control systems
Using business rules within a design process of active databases
Data warehousing and web engineering
An object state test model: object state diagram
CASCON '95 Proceedings of the 1995 conference of the Centre for Advanced Studies on Collaborative research
Behavioral patterns for software requirement engineering
CASCON '95 Proceedings of the 1995 conference of the Centre for Advanced Studies on Collaborative research
CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
Metamorphic development of a GUI for configuration management
CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
ROAD/EE: A Prototyping Environment for Object-Oriented Specifications
TOOLS '97 Proceedings of the Tools-23: Technology of Object-Oriented Languages and Systems
Extending the Concept of Mixin to Multidimensional Objects
TOOLS '97 Proceedings of the Tools-23: Technology of Object-Oriented Languages and Systems
Process enactment support in a distributed environment
WET-ICE '95 Proceedings of the 4th Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WET-ICE'95)
The architectural specification of an avionic subsystem
WIFT '95 Proceedings of the 1st Workshop on Industrial-Strength Formal Specification Techniques
Object-Oriented Real Time Systems Modeling and Verification
WORDS '97 Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems - (WORDS '97)
Specification and Analysis of System Level Inter-Component Communication
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Can Intuition Become Rigorous? Foundations for UML Model Verification Tools
ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering
On Integrating Visualization Techniques for Effective Software Exploration
INFOVIS '97 Proceedings of the 1997 IEEE Symposium on Information Visualization (InfoVis '97)
Traceability and Modularity in Software Design
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
An Object-Oriented Real Time Systems Modeling and Verification Methodology
COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications
Reactive and Real-Time Systems Course: How to Get the Most Out of it
Real-Time Systems
Engineering the usability of visual formalisms: a case study in real time logics
AVI '98 Proceedings of the working conference on Advanced visual interfaces
Applications of heterogeneous reasoning in design
Machine Graphics & Vision International Journal - Special issue on diagrammatics & Design
A system for multiparadigm development of software systems
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Practicing software engineering in the 21st century
Modeling of business rules for active database application specification
Advanced topics in database research vol. 1
Visualizing and querying software structures
CASCON '91 Proceedings of the 1991 conference of the Centre for Advanced Studies on Collaborative research
Towards a new distributed programming environment (CORDS)
CASCON '91 Proceedings of the 1991 conference of the Centre for Advanced Studies on Collaborative research
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 1
Challenges in graph-based relational data visualization
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 1
ADVcharts: a graphical specification for abstract data views
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: software engineering - Volume 1
An example of linking formal methods with case tools: a model checker for statecharts
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: software engineering - Volume 1
Visual formalisms for configuration management
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: software engineering - Volume 1
Using Hy+ for network management and distributed debugging
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: software engineering - Volume 1
Exploring large hyperdocuments: fisheye views of nested networks
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: distributed computing - Volume 2
Deductive database support for data visualization
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: distributed computing - Volume 2
Combining analysis and synthesis in a model of a biological cell
Proceedings of the 2004 ACM symposium on Applied computing
Implementation of visual languages using pattern-based specifications
Software—Practice & Experience
Cell Modeling Using Agent-Based Formalisms
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 3
Designing a VR interaction authoring tool using constructivist practices
AFRIGRAPH '04 Proceedings of the 3rd international conference on Computer graphics, virtual reality, visualisation and interaction in Africa
Proceedings of the thirteenth ACM international conference on Information and knowledge management
Information Visualization - Special issue of selected and extended InfoVis 03 papers
A framework for modeling and implementing visual notations with applications to software engineering
ACM Transactions on Software Engineering and Methodology (TOSEM)
A data-centric approach to composing embedded, real-time software components
Journal of Systems and Software - Special issue: Automated component-based software engineering
Toward Formalizing Domain Modeling Semantics in Language Syntax
IEEE Transactions on Software Engineering
Abstract hierarchical graph transformation
Mathematical Structures in Computer Science
Modeling biological systems: a unified approach
ACM SIGSOFT Software Engineering Notes
A Cloverleaf of Software Engineering
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Cell modeling with reusable agent-based formalisms
Applied Intelligence
From semantic web to expressive software specifications: a modeling languages spectrum
Proceedings of the 28th international conference on Software engineering
Method for drawing intersecting clustered graphs and its application to web ontology language
APVis '06 Proceedings of the 2006 Asia-Pacific Symposium on Information Visualisation - Volume 60
A Methodology for Architectural Design of Concurrent and Distributed Software Systems
The Journal of Supercomputing
Comprehensive and realistic modeling of biological systems
Proceedings of the 38th conference on Winter simulation
Noesis: Towards a situational method engineering technique
Information Systems
Visual language implementation through standard compiler-compiler techniques
Journal of Visual Languages and Computing
Statecharts in the making: a personal account
Proceedings of the third ACM SIGPLAN conference on History of programming languages
Journal of Integrated Design & Process Science
State-Based Modeling Of Flexible Workflow Executions In Distributed Environments
Journal of Integrated Design & Process Science
Semantic Integration Of Embedded Systems Design Data In An Industrial Setting
Journal of Integrated Design & Process Science
Drawing c-planar biconnected clustered graphs
Discrete Applied Mathematics
Finding similar files in a large file system
WTEC'94 Proceedings of the USENIX Winter 1994 Technical Conference on USENIX Winter 1994 Technical Conference
Montage: an ActiveX container for dynamic interfaces
WINSYM'98 Proceedings of the 2nd conference on USENIX Windows NT Symposium - Volume 2
Creating and reconciling diagrams after executing model transformations
Science of Computer Programming
Enabling run-time composition and support for heterogeneous pervasive multi-agent systems
Journal of Systems and Software
Creating and reconciling diagrams after executing model transformations
Science of Computer Programming
NodeTrix: a Hybrid Visualization of Social Networks
IEEE Transactions on Visualization and Computer Graphics
Design, implementation and run-time evolution of a mission-based multiagent system
Web Intelligence and Agent Systems
A computational architecture for heterogeneous reasoning
Journal of Experimental & Theoretical Artificial Intelligence
Checking Liveness Properties of Concurrent Systems by Reinforcement Learning
Model Checking and Artificial Intelligence
Liberate Computer User from Programming
AMAST 2008 Proceedings of the 12th international conference on Algebraic Methodology and Software Technology
Enterprise Information Systems - Contains Special Issue: Modelling, Simulation, Verification and Validation of Enterprise Information Systems, edited by Juan Carlos Augusto and Marc Roper
Metaphors and models: conceptual foundations of representations in interactive systems development
Human-Computer Interaction
Statecharts in the making: a personal account
Communications of the ACM - Being Human in the Digital Age
Addressing degraded service outcomes and exceptional modes of operation in behavioural models
Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems
A Case for ViewPoints and Documents
Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs
Instant multi-tier web applications without tears
Proceedings of the 2nd India software engineering conference
Programming robots with state diagrams
Journal of Computing Sciences in Colleges
Method for Visualizing Complicated Structures Based on Unified Simplification Strategy
IEICE - Transactions on Information and Systems
Generating Executable Scenarios from Natural Language
CICLing '09 Proceedings of the 10th International Conference on Computational Linguistics and Intelligent Text Processing
Data & Knowledge Engineering
Software Language Engineering
Supporting co-evolution of users and systems by the recognition of interaction patterns
Proceedings of the Working Conference on Advanced Visual Interfaces
Vivid: A framework for heterogeneous problem solving
Artificial Intelligence
A specification paradigm for the design and implementation of tangible user interfaces
ACM Transactions on Computer-Human Interaction (TOCHI)
Computational research on interaction and agency
Artificial Intelligence
Improving medical protocols by formal methods
Artificial Intelligence in Medicine
Propositional Statecharts for Agent Interaction Protocols
Electronic Notes in Theoretical Computer Science (ENTCS)
Hiproofs: A Hierarchical Notion of Proof Tree
Electronic Notes in Theoretical Computer Science (ENTCS)
Information Sciences: an International Journal
Taxonomies of visual programming and program visualization
Journal of Visual Languages and Computing
The semantics of augmented constraint diagrams
Journal of Visual Languages and Computing
Abstraction in reasoning about higraph-based systems
FOSSACS'03/ETAPS'03 Proceedings of the 6th International conference on Foundations of Software Science and Computation Structures and joint European conference on Theory and practice of software
Tangible User Interfaces: Past, Present, and Future Directions
Foundations and Trends in Human-Computer Interaction
BPM'03 Proceedings of the 2003 international conference on Business process management
Part-whole statecharts for the explicit representation of compound behaviours
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Closing the gap between object-oriented modeling of structure and behavior
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Hierarchical program representation for program element matching
IDEAL'07 Proceedings of the 8th international conference on Intelligent data engineering and automated learning
Visualizing formalisms with ORM models
OTM'07 Proceedings of the 2007 OTM confederated international conference on On the move to meaningful internet systems - Volume Part I
A calculus effectively performing event formation with visualization
ISHPC'05/ALPS'06 Proceedings of the 6th international symposium on high-performance computing and 1st international conference on Advanced low power systems
Developing state diagrams using a state specialization technique
ER'07 Proceedings of the 2007 conference on Advances in conceptual modeling: foundations and applications
Techniques for visualizing data structures in algorithmic animations
Information Visualization
Empirical modelling and the foundations of artificial intelligence
Computation for metaphors, analogy, and agents
Multifunctional software systems: Structured modeling and specification of functional requirements
Science of Computer Programming
Visualizing and querying software structures
CASCON First Decade High Impact Papers
Large Scale Semantic Access to Content (Text, Image, Video, and Sound)
INFOVIS'03 Proceedings of the Ninth annual IEEE conference on Information visualization
A proposal for folding in ORM diagrams
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems
Syntax highlighting in business process models
Decision Support Systems
On GS-monoidal theories for graphs with nesting
Graph transformations and model-driven engineering
Real-world semantics of conceptual models
The evolution of conceptual modeling
On the performance of UML state machine interpretation at runtime
Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
Integrating interaction design and log analysis: bridging the gap with UML, XML and XMI
Journal of Web Engineering
User-oriented graph visualization taxonomy: a data-oriented examination of visual features
HCD'11 Proceedings of the 2nd international conference on Human centered design
Model-Driven assessment of use cases for dependable systems
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
An automatic mapping from statecharts to verilog
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Towards formal specification and generation of autonomic policies
EUC'05 Proceedings of the 2005 international conference on Embedded and Ubiquitous Computing
Using visualizations to support design and debugging in virtual reality
ISVC'06 Proceedings of the Second international conference on Advances in Visual Computing - Volume Part I
Graph transformation in document image analysis: approaches and challenges
GbRPR'05 Proceedings of the 5th IAPR international conference on Graph-Based Representations in Pattern Recognition
ISAAC'04 Proceedings of the 15th international conference on Algorithms and Computation
Cyranus: an authoring tool for interactive edutainment applications
Edutainment'06 Proceedings of the First international conference on Technologies for E-Learning and Digital Entertainment
Behavior based approach for robot navigation and chemical anomaly tracking
ICIRA'11 Proceedings of the 4th international conference on Intelligent Robotics and Applications - Volume Part II
Query languages for graph databases
ACM SIGMOD Record
Dialogue graphs: a formal and visual specification technique for dialogue modelling
FAC-FA'96 Proceedings of the 1996 BCS-FACS conference on Formal Aspects of the Human Computer Interface
A validation system for object oriented specifications of information systems
ADBIS'97 Proceedings of the First East-European conference on Advances in Databases and Information systems
A model for dynamic state-based systems
1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods
An overview of the mensurae language: specifying business processes
ROOM'00 Proceedings of the 2000 international conference on Rigorous Object-Oriented Methods
Argos: an automaton-based synchronous language
Computer Languages
A safety-focused verification using software fault trees
Future Generation Computer Systems
TreeMatrix: A Hybrid Visualization of Compound Graphs
Computer Graphics Forum
TreeMatrix: A Hybrid Visualization of Compound Graphs
Computer Graphics Forum
VULCAN: architecture-model-based software development workbench
Proceedings of the WICSA/ECSA 2012 Companion Volume
VULCAN: architecture-model-based workbench for product line engineering
Proceedings of the 16th International Software Product Line Conference - Volume 2
Realising software development as a lived experience
Proceedings of the ACM international symposium on New ideas, new paradigms, and reflections on programming and software
Contextual hyperedge replacement
AGTIVE'11 Proceedings of the 4th international conference on Applications of Graph Transformations with Industrial Relevance
Modeling Requirements for Future CASE: Modeling Issues and Architectural Consideration
Information Resources Management Journal
Multigraphical membrane systems revisited
CMC'12 Proceedings of the 13th international conference on Membrane Computing
An interactive visualization interface for studying egocentric, categorical, contact diary datasets
Proceedings of the 2013 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining
Reusable abstractions for modeling languages
Information Systems
Explicit modelling of statechart simulation environments
Proceedings of the 2013 Summer Computer Simulation Conference
| Hi-index | 48.24 |
The higraph, a general kind of diagramming object, forms a visual formalism of topological nature. Higraphs are suited for a wide array of applications to databases, knowledge representation, and, most notably, the behavioral specification of complex concurrent systems using the higraph-based language of statecharts.