The transformation schema: An extension of the data flow diagram to represent control and timing
IEEE Transactions on Software Engineering
Current trends in concurrency. Overviews and tutorials
Statecharts: A visual formalism for complex systems
Science of Computer Programming
Strategies for real-time system specification
Strategies for real-time system specification
Communications of the ACM
Software process modeling: principles of entity process models
ICSE '89 Proceedings of the 11th international conference on Software engineering
On the development of reactive systems
Logics and models of concurrent systems
Building a visual designer's environment
Principles of visual programming systems
Introduction To Automata Theory, Languages, And Computation
Introduction To Automata Theory, Languages, And Computation
Structured Development for Real-Time Systems
Structured Development for Real-Time Systems
Optimal implementation of conjunctive queries in relational data bases
STOC '77 Proceedings of the ninth annual ACM symposium on Theory of computing
An Insider's Evaluation of PAISLey
IEEE Transactions on Software Engineering
COCS '91 Proceedings of the conference on Organizational computing systems
State-based model checking of event-driven system requirements
SIGSOFT '91 Proceedings of the conference on Software for citical systems
OBSERV—a prototyping language and environment
ACM Transactions on Software Engineering and Methodology (TOSEM)
Querying of Executable Software Specifications
IEEE Transactions on Software Engineering
On statecharts with overlapping
ACM Transactions on Software Engineering and Methodology (TOSEM)
Graphical specifications for concurrent software systems
ICSE '92 Proceedings of the 14th international conference on Software engineering
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Simulating reactive systems by deduction
ACM Transactions on Software Engineering and Methodology (TOSEM)
STATEMATE applied to statistical software testing
ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
ACM Transactions on Software Engineering and Methodology (TOSEM)
Guidelines for embedded software documentation
ACM SIGSOFT Software Engineering Notes
Emerging technologies that support a software process life cycle
IBM Systems Journal
Assessment of Safety-Critical Specifications
IEEE Software
Requirements Specification for Process-Control Systems
IEEE Transactions on Software Engineering
Design of heterogeneous ICs for mobile and personal communication systems
ICCAD '94 Proceedings of the 1994 IEEE/ACM international conference on Computer-aided design
A graphical interval logic for specifying concurrent systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Manifestations of heterogeneity in hardware/software co-design
DAC '94 Proceedings of the 31st annual Design Automation Conference
The role of VHDL within the TOSCA hardware/software codesign framework
EURO-DAC '94 Proceedings of the conference on European design automation
APPL/A: a language for software process programming
ACM Transactions on Software Engineering and Methodology (TOSEM)
LCTES '95 Proceedings of the ACM SIGPLAN 1995 workshop on Languages, compilers, & tools for real-time systems
HCSM: a framework for behavior and scenario control in virtual environments
ACM Transactions on Modeling and Computer Simulation (TOMACS) - Special issue on graphics, animation, and visualization for simulation environments
An integration of scenarios with their purposes in task modeling
Proceedings of the 1st conference on Designing interactive systems: processes, practices, methods, & techniques
Drawing graphs nicely using simulated annealing
ACM Transactions on Graphics (TOG)
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
ACM SIGSOFT Software Engineering Notes
A graphical environment for the design of concurrent real-time systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Strategic directions in concurrency research
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
About views for modeling software processes in a role-specific manner
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
A refinement calculus for VHDL
EURO-DAC '96/EURO-VHDL '96 Proceedings of the conference on European design automation
Formalizing and integrating the dynamic model within OMT
ICSE '97 Proceedings of the 19th international conference on Software engineering
An improved process for the development of PLC software
ICSE '97 Proceedings of the 19th international conference on Software engineering
ICSE '97 Proceedings of the 19th international conference on Software engineering
Visual modeling of DEVS-based multiformalism systems based on higraphs
WSC '93 Proceedings of the 25th conference on Winter simulation
A comprehensive process model for studying software process papers
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Heterogeneous Simulation—Mixing Discrete-Event Models with Dataflow
Journal of VLSI Signal Processing Systems - Special issue on the rapid prototyping of application specific signal processors (RASSP) program
Reduction and slicing of hierarchical state machines
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
Toward formalizing structured analysis
ACM Transactions on Software Engineering and Methodology (TOSEM)
DAC '98 Proceedings of the 35th annual Design Automation Conference
An analysis-based approach to composition of distributed embedded systems
Proceedings of the 6th international workshop on Hardware/software codesign
Engineering Software Design Processes to Guide Process Execution
IEEE Transactions on Software Engineering
From Centralized Workflow Specification to Distributed WorkflowExecution
Journal of Intelligent Information Systems - Special issue on workflow management systems
Software engineering of virtual worlds
VRST '98 Proceedings of the ACM symposium on Virtual reality software and technology
Composition and refinement of discrete real-time systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
From formal models to formally based methods: an industrial experience
ACM Transactions on Software Engineering and Methodology (TOSEM)
Hypercharts: Extended Statecharts to Support Hypermedia Specification
IEEE Transactions on Software Engineering
ECL: a specification environment for system-level design
Proceedings of the 36th annual ACM/IEEE Design Automation Conference
Formalization of Workflows and Correctness Issues in the Presence of Concurrency
Distributed and Parallel Databases - Special issue on electronic commerce
Specification-based prototyping for embedded systems
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
Matisse: A System-on-Chip Design Methodology Emphasizing Dynamic Memory Management
Journal of VLSI Signal Processing Systems - Special issue on system level design
A Hierarchical Test Generation Approach for Large Controllers
IEEE Transactions on Computers
Formal specification: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Software engineering tools and environments: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Requirements engineering in the year 00: a research perspective
Proceedings of the 22nd international conference on Software engineering
Integrating UML diagrams for production control systems
Proceedings of the 22nd international conference on Software engineering
Graphical animation of behavior models
Proceedings of the 22nd international conference on Software engineering
High-integrity code generation for state-based formalisms
Proceedings of the 22nd international conference on Software engineering
An algorithm for blob hierarchy layout
AVI '00 Proceedings of the working conference on Advanced visual interfaces
Verifying properties of process definitions
Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
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
A mapping algorithm for computer-assisted exploration in the design of embedded systems
ACM Transactions on Design Automation of Electronic Systems (TODAES)
A Flexible, Extensible Simulation Environment for Testing Real-Time Specifications
IEEE Transactions on Computers
On formalizing UML with high-level petri nets
Concurrent object-oriented programming and petri nets
Automatic Analysis of Consistency between Requirements and Designs
IEEE Transactions on Software Engineering
Systematic validation of a relational control program for the bay area rapid transit system
High integrity software
LSCs: Breathing Life into Message Sequence Charts
Formal Methods in System Design
Formal Methods in Designing Embedded Systems—the SACRES Experience
Formal Methods in System Design
Design of embedded systems: formal models, validation, and synthesis
Readings in hardware/software co-design
The synchronous approach to reactive and real-time systems
Readings in hardware/software co-design
Co-synthesis and co-simulation of control-dominated embedded systems
Readings in hardware/software co-design
Ptolemy: a framework for simulating and prototyping heterogeneous systems
Readings in hardware/software co-design
A practical approach to combining requirements definition and object-oriented analysis
Annals of Software Engineering
The design and analysis of real-time systems using the ASTRAL software development environment
Annals of Software Engineering
Specification and analysis of real-time systems with PARAGON
Annals of Software Engineering
Integrated architectural modeling and analysis for high-assurance command and control system design
Annals of Software Engineering
Pinnacles of software engineering: 25 years of formal methods
Annals of Software Engineering
Logic Control and “Reactive” Systems: Algorithmization and Programming
Automation and Remote Control
Combined Negotiations in E-Commerce: Concepts and Architecture
Electronic Commerce Research
Embedding built-in tests in hot spots of an object-oriented framework
ACM SIGPLAN Notices
SWITCH Technology: An Automated Approach to Developing Software for Reactive Systems
Programming and Computing Software
Computer
What's Ahead for Embedded Software?
Computer
Verifying Timing Consistency in Formal Specifications
IEEE Design & Test
Software-Engineering Research Revisited
IEEE Software
State-Based Model Checking of Event-Driven System Requirements
IEEE Transactions on Software Engineering
Object-oriented modeling with ADORA
Information Systems - The 13th international conference on advanced information systems engineering (CAiSE*01)
Design for presence: a structured approach to virtual reality system design
Presence: Teleoperators and Virtual Environments - Virtual environments: Virtual environments and mobile robots: Control, simulation, and robot pilot training
ViSta: a tool suite for the visualization of behavioral requirements
Journal of Systems and Software
Automatically verifying an object-oriented specification of the steam-boiler system
Science of Computer Programming - Special issure on formal methods for industrial critical systems (FMICS 2000)
Program Synthesis from Formal Requirements Specifications Using APTS
Higher-Order and Symbolic Computation
Formal Specification and Prototyping of Multi-agent Systems
ESAW '00 Proceedings of the First International Workshop on Engineering Societies in the Agent World: Revised Papers
CASL-CHART: A Combination of Statecharts and of the Algebraic Specification Language CASL
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Consistent Integration of Formal Methods
TACAS '00 Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Designing Multi-Agent Reactive Systems: A Specification Method Based on Reactive Decisional Agents
PRIMA '99 Proceedings of the Second Pacific Rim International Workshop on Multi-Agents: Approaches to Intelligent Agents
Automatic Generation of a Software Performance Model Using an Object-Oriented Prototype
MASCOTS '95 Proceedings of the 3rd International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems
A Compositional Real-Time Semantics of STATEMATE Designs
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
Embedded Systems: Challenges in Specification and Verification
EMSOFT '02 Proceedings of the Second International Conference on Embedded Software
Modeling Resources for Activity Coordination and Scheduling
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
Coordination of Synchronous Programs
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
A Family-Oriented Software Development Process for Engine Controllers
PROFES '01 Proceedings of the Third International Conference on Product Focused Software Process Improvement
An Agenda for Specifying Software Components with Complex Data Models
SAFECOMP '98 Proceedings of the 17th International Conference on Computer Safety, Reliability and Security
Modeling Safety-Critical Systems with Z and Petri Nets
SAFECOMP '99 Proceedings of the 18th International Conference on Computer Computer Safety, Reliability and Security
A Method for Operator Error Detection Based on Plan Recognition
SAFECOMP '99 Proceedings of the 18th International Conference on Computer Computer Safety, Reliability and Security
Software Engineering - Introduction
Revised Lectures on Software Visualization, International Seminar
An Investigation on Mutation Strategies for Fault Injection into RDD-100 Models
SAFECOMP '01 Proceedings of the 20th International Conference on Computer Safety, Reliability and Security
An Algorithmic Framework for Visualizing Statecharts
GD '00 Proceedings of the 8th International Symposium on Graph Drawing
An Open Environment for the Integration of Hetereogenous Modelling Techniques and Tools
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
Faithful Translations among Models and Specifications
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
Pr/T-Net Based Seamless Design of Embedded Real-Time Systems
ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
Quasi-Static Scheduling of Independent Tasksfor Reactive Systems
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
An Evaluation of Formalisms for Negotiations in E-commerce
DCW '00 Proceedings of the Third International Workshop on Distributed Communities on the Web
Increasing the Testability of Object-Oriented Frameworks with Built-in Tests
AISA '02 Proceedings of the First International Workshop on Advanced Internet Services and Applications
Designing An FSM Architectural Framework for Service-Based Applications
COMPSAC '00 24th International Computer Software and Applications Conference
A Framework for Translating Models and Specifications
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
CONVERSE: a family-oriented software development process for engine controllers
Systems engineering for business process change
Information processing and technology
Behavioral patterns for software requirement engineering
CASCON '95 Proceedings of the 1995 conference of the Centre for Advanced Studies on Collaborative research
Automatic translation of process modeling formalisms
CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
Eliciting formal models of software engineering processes
CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
Software Architecture Synthesis for Retargetable Real-time Embedded Systems
CODES '97 Proceedings of the 5th International Workshop on Hardware/Software Co-Design
Design and implementation of an object-oriented ATM network simulator
MASCOTS '96 Proceedings of the 4th International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems
An environment for object-oriented real-time systems design
SEE '97 Proceedings of the 8th International Conference on Software Engineering Environments (SEE '97)
Safecharts for Specifying and Designing Safety Critical Systems
SRDS '99 Proceedings of the 18th IEEE Symposium on Reliable Distributed Systems
ROAD/EE: A Prototyping Environment for Object-Oriented Specifications
TOOLS '97 Proceedings of the Tools-23: Technology of Object-Oriented Languages and Systems
Asynchronous Implementation of Synchronous Esterel Specifications
VLSID '97 Proceedings of the Tenth International Conference on VLSI Design: VLSI in Multimedia Applications
The architectural specification of an avionic subsystem
WIFT '95 Proceedings of the 1st Workshop on Industrial-Strength Formal Specification Techniques
Automated modular specification and verification of real-time reactive systems
WIFT '95 Proceedings of the 1st Workshop on Industrial-Strength Formal Specification Techniques
Towards a Formal Semantics for an Integrated SA/RT & Z Specification Language
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Formally Specifying and Verifying Real-Time Systems
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Specification and Analysis of System Level Inter-Component Communication
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Requirements interaction management
ACM Computing Surveys (CSUR)
Hybrid Model Visualization in Requirements and Design: A Preliminary Investigation
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
From Early to Late Formal Requirements: A Process-Control Case Study
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
Distributed Prototyping from Validated Specifications
RSP '01 Proceedings of the 12th International Workshop on Rapid System Prototyping
Understanding process and the quest for deeper questions in software engineering research
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
EFFICIENT: a tool set for supporting the modelling and validation of ebXML
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
A methodology for control-dominated systems codesign
CODES '94 Proceedings of the 3rd international workshop on Hardware/software co-design
An example of applying the codesign method MOOSE
CODES '94 Proceedings of the 3rd international workshop on Hardware/software co-design
Specifying reactive systems with attributed finite state machines
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
The IBM-McGill project on software process
CASCON '91 Proceedings of the 1991 conference of the Centre for Advanced Studies on Collaborative research
The impact of inserting a tool into a software process
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: software engineering - Volume 1
Systematic Reliability Analysis of a Class of Application-Specific Embedded Software Frameworks
IEEE Transactions on Software Engineering
Design of cataloging rules using conceptual modeling of cataloging process
Journal of the American Society for Information Science and Technology
Distributed prototyping from validated specifications
Journal of Systems and Software - Special issue: Rapid system prototyping
Embedded software generation from system level design languages
Proceedings of the 2004 Asia and South Pacific Design Automation Conference
Test-Suite Reduction for Model Based Tests: Effects on Test Quality and Implications for Testing
Proceedings of the 19th IEEE international conference on Automated software engineering
A reactive system architecture for building fault-tolerant distributed applications
Journal of Systems and Software
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
Explorative construction of virtual worlds: an interactive kernel approach
VRCAI '04 Proceedings of the 2004 ACM SIGGRAPH international conference on Virtual Reality continuum and its applications in industry
Formal interpreters for diagram notations
ACM Transactions on Software Engineering and Methodology (TOSEM)
Fluent-based web animation: exploring goals for requirements validation
Proceedings of the 27th international conference on Software engineering
Automated Prototyping of User Interfaces Based on UML Scenarios
Automated Software Engineering
Use of Verification for Testing and Debugging of Complex Reactive Systems
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
A Cloverleaf of Software Engineering
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Synthesizing safe state machines from Esterel
Proceedings of the 2006 ACM SIGPLAN/SIGBED conference on Language, compilers, and tool support for embedded systems
YAWL: yet another workflow language
Information Systems
Program entanglement, feature interaction and the feature language extensions
Computer Networks: The International Journal of Computer and Telecommunications Networking
Quasi-static Scheduling for Concurrent Architectures
Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'03)
Journal of Embedded Computing - Real-Time and Embedded Computing Systems
Automatic Synthesis Of Behavioral Object Specifications From Scenarios
Journal of Integrated Design & Process Science
Safety and Software Intensive Systems: Challenges Old and New
FOSE '07 2007 Future of Software Engineering
PeaCE: A hardware-software codesign environment for multimedia embedded systems
ACM Transactions on Design Automation of Electronic Systems (TODAES)
On the effect of test-suite reduction on automatically generated model-based tests
Automated Software Engineering
A smooth refinement flow for co-designing HW and SW threads
Proceedings of the conference on Design, automation and test in Europe
Dynamic design and evaluation of software architecture in critical systems development
SCS '06 Proceedings of the eleventh Australian workshop on Safety critical systems and software - Volume 69
A Graphical Language for Specifying and Analyzing Real-Time Systems
Integrated Computer-Aided Engineering
Generation of embedded hardware/software from systemC
EURASIP Journal on Embedded Systems
Breaking up is hard to do: An evaluation of automated assume-guarantee reasoning
ACM Transactions on Software Engineering and Methodology (TOSEM)
Formal driven prototyping approach for multiagent systems
International Journal of Agent-Oriented Software Engineering
Diagrammatic Education For Software Engineering
Journal of Integrated Design & Process Science
Constructivism, virtual reality and tools to support design
Proceedings of the 7th ACM conference on Designing interactive systems
A Case for Specification Validation
Verified Software: Theories, Tools, Experiments
Towards Simulation-Based Quality Requirements Elicitation: A Position Paper
REFSQ '08 Proceedings of the 14th international conference on Requirements Engineering: Foundation for Software Quality
Semantically Configurable Code Generation
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
On the relationship between workflow models and document types
Information Systems
Personal reflections on automation, programming culture, and model-based software engineering
Automated Software Engineering
A journey to highly dynamic, self-adaptive service-based applications
Automated Software Engineering
Statecharts in the making: a personal account
Communications of the ACM - Being Human in the Digital Age
Reconciling statechart semantics
Science of Computer Programming
XAL: A Web Oriented Programming Language Based on Timed-Automata
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 01
Coordinated concurrent memory accesses on a reconfigurable multimedia accelerator
Microprocessors & Microsystems
Proceedings of the 2007 conference on Information Modelling and Knowledge Bases XVIII
A thread synchronization model for SIP servlet containers
Proceedings of the 3rd International Conference on Principles, Systems and Applications of IP Telecommunications
Empirical Software Engineering
Analyzing a Pattern-Based Model of a Real-Time Turntable System
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards preserving model coverage and structural code coverage
EURASIP Journal on Embedded Systems - Challenges on complexity and connectivity in embedded systems
Inference based on notifications: a holonic metamodel applied to control issues
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans - Special section: Best papers from the 2007 biometrics: Theory, applications, and systems (BTAS 07) conference
Modeling time in computing: A taxonomy and a comparative survey
ACM Computing Surveys (CSUR)
Finding robust solutions in requirements models
Automated Software Engineering
Inference of Timed Transition Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Insights to Angluin's Learning
Electronic Notes in Theoretical Computer Science (ENTCS)
Geographical Versus Functional Modelling by Statecharts of Interlocking Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
A complete testing strategy based on interacting and hierarchical FSMs
Integration, the VLSI Journal
Formal interactive systems analysis and usability inspection methods: two incompatible worlds?
DSV-IS'00 Proceedings of the 7th international conference on Design, specification, and verification of interactive systems
Flexible and extensible notations for modeling languages
FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
Teaching structured development of virtual reality systems using P-VoT
Edutainment'07 Proceedings of the 2nd international conference on Technologies for e-learning and digital entertainment
EUC'07 Proceedings of the 2007 conference on Emerging direction in embedded and ubiquitous computing
Accurate estimates without calibration?
ICSP'08 Proceedings of the Software process, 2008 international conference on Making globally distributed software development a success story
Synthesis of monitors for real-time analysis of reactive systems
Pillars of computer science
Domain specific model-based development of software for programmable logic controllers
Computers in Industry
Towards an integrated, model-based codesign environment
ECBS'99 Proceedings of the 1999 IEEE conference on Engineering of computer-based systems
Test scenario generation from a structured requirements specification
ECBS'99 Proceedings of the 1999 IEEE conference on Engineering of computer-based systems
Learning of event-recording automata
Theoretical Computer Science
RTOS-aware refinement for TLM2.0-based HW/SW designs
Proceedings of the Conference on Design, Automation and Test in Europe
Tools for model-based real-time system synthesis
ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems
Systems modeling, simulation and analysis using COVERS active objects
ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems
What is in a step: new perspectives on a classical question
Time for verification
Human-centric software engineering
Proceedings of the FSE/SDP workshop on Future of software engineering research
Semantics of UML models for dynamic behavior: a survey of different approaches
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
Requirements modeling for embedded realtime systems
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
Disciplined heterogeneous modeling
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part II
Formal methods in agent-oriented software engineering
AOSE'10 Proceedings of the 10th international conference on Agent-oriented software engineering
A Compiler for Multimodal Scenarios: Transforming LSCs into AspectJ
ACM Transactions on Software Engineering and Methodology (TOSEM)
EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
On fitting a formal method into practice
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
Verifying statemate statecharts using CSP and FDR
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Virtual RF system platform dedicated to heterogeneous complex SoC design
Microelectronics Journal
A formal approach to design and reuse agent and multiagent models
AOSE'04 Proceedings of the 5th international conference on Agent-Oriented Software Engineering
Loose integration of COTS tools for the development of real time distributed control systems
ICCBSS'05 Proceedings of the 4th international conference on COTS-Based Software Systems
A story about formal methods adoption by a railway signaling manufacturer
FM'06 Proceedings of the 14th international conference on Formal Methods
Inference of event-recording automata using timed decision trees
CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory
On the pragmatics of model-based design
Monterey'08 Proceedings of the 15th Monterey conference on Foundations of Computer Software: future Trends and Techniques for Development
Behavioral interface specification languages
ACM Computing Surveys (CSUR)
Detecting and tolerating failures in a loosely integrated heterogeneous database system
Computer Communications
Heterogeneous formal specification based on Object-Z and statecharts: semantics and verification
Journal of Systems and Software
Code generation for a family of executable modelling notations
Software and Systems Modeling (SoSyM)
Quasi-static Scheduling for Concurrent Architectures
Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'03)
A 'plug and play' approach to testing virtual environment interaction techniques
EG VE'00 Proceedings of the 6th Eurographics conference on Virtual Environments
Statechart development beyond WYSIWYG
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
A survey on temporal logics for specifying and verifying real-time systems
Frontiers of Computer Science: Selected Publications from Chinese Universities
Hi-index | 0.02 |
STATEMATE is a set of tools, with a heavy graphical orientation, intended for the specification, analysis, design, and documentation of large and complex reactive systems. It enables a user to prepare, analyze, and debug diagrammatic, yet precise, descriptions of the system under development from three interrelated points of view, capturing structure, functionality, and behavior. These views are represented by three graphical languages, the most intricate of which is the language of statecharts, used to depict reactive behavior over time. In addition to the use of statecharts, the main novelty of STATEMATE is in the fact that it understands the entire descriptions perfectly, to the point of being able to analyze them for crucial dynamic properties, to carry out rigorous executions and simulations of the described system, and to create running code automatically. These features are invaluable when it comes to the quality and reliability of the final outcome.