Extending Statecharts to Model System Interactions

Journal of Software Engineering Research and Development
doi 10.1186/s40411-015-0026-x
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Sociedade Brasileira de Computacao - SB

Related search

System Interactions in Socio-Technical Transitions: Extending the Multi-Level Perspective

Environmental Innovation and Societal Transitions
Renewable Energythe EnvironmentSocial SciencesSustainabilityEnvironmental Science
2013English

Testing a System Specified Using Statecharts and Z

Information and Software Technology
Computer Science ApplicationsInformation SystemsSoftware
2001English

Extending Model Checking to Efficient Propositional Inference

International Journal of Machine Learning and Computing
ManagementComputer Science ApplicationsInformation SystemsArtificial Intelligence
2014English

A Compositional Approach to Statecharts Semantics

ACM SIGSOFT Software Engineering Notes
2000English

Extending ACID Semantics to the File System

ACM Transactions on Storage
HardwareArchitecture
2007English

Extending HL7 RIM Model to Capture Physical Activity Data

2017English

Extending the Clapper–Yule Model to Rough Printing Supports

Journal of the Optical Society of America A: Optics and Image Science, and Vision
Pattern RecognitionOpticsMolecular Physics,Computer VisionOpticalAtomicMagnetic MaterialsMedicineElectronic
2005English

Mapping Statecharts to Verilog for Hardware/Software Co-Specification

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

Systematically Combining Specifications of Internal and External System Behavior Using Statecharts

2004English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy