UML for real
OOPSLA '03 Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Revisiting Statechart Synthesis with an Algebraic Approach
Proceedings of the 26th International Conference on Software Engineering
Incremental elaboration of scenario-based specifications and behavior models using implied scenarios
ACM Transactions on Software Engineering and Methodology (TOSEM)
Smart Play-Out Extended: Time and Forbidden Elements
QSIC '04 Proceedings of the Quality Software, Fourth International Conference
A semantic and methodological essence of message sequence charts
Science of Computer Programming
Monitoring and control in scenario-based requirements analysis
Proceedings of the 27th international conference on Software engineering
Live and let die: LSC based verification of UML models
Science of Computer Programming - Formal methods for components and objects pragmatic aspects and applications
Rich-Media Scenarios for Discovering Requirements
IEEE Software
From Live Sequence Charts to State Machines and Back: A Guided Tour
IEEE Transactions on Software Engineering
A Cloverleaf of Software Engineering
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Telecommunications Systems - Modeling, analysis, design and management
Refining UML interactions with underspecification and nondeterminism
Nordic Journal of Computing
Mapping live sequence chart to coloured petri nets for analysis and verification of embedded systems
ACM SIGSOFT Software Engineering Notes
Proceedings of the 28th international conference on Software engineering
A comparative survey of scenario-based to state-based model synthesis approaches
Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools
Assert and negate revisited: modal semantics for UML sequence diagrams
Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools
Scenario-driven modeling and validation of requirements models
Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools
Modelling concurrent interactions
Theoretical Computer Science - Algebraic methodology and software technology
From multi-modal scenarios to code: compiling LSCs into aspectJ
Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
Comprehensive and realistic modeling of biological systems
Proceedings of the 38th conference on Winter simulation
Synthesis of Open Reactive Systems from Scenario-Based Specifications
Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'03)
Scenario based resolution of aspect interactions with aspect interaction charts
Proceedings of the 10th international workshop on Aspect-oriented modeling
Interactive Systems with Registers and Voices
Fundamenta Informaticae - SPECIAL ISSUE ON TRAJECTORIES OF LANGUAGE THEORY Dedicated to the memory of Alexandru Mateescu
Statecharts in the making: a personal account
Proceedings of the third ACM SIGPLAN conference on History of programming languages
Design Synthesis from Interaction and State-Based Specifications
IEEE Transactions on Software Engineering
InterPlay: Horizontal Scale-Up and Transition to Design in Scenario-Based Programming
IEEE Transactions on Software Engineering
Behaviour Model Synthesis from Properties and Scenarios
ICSE '07 Proceedings of the 29th international conference on Software Engineering
SCESM '07 Proceedings of the Sixth International Workshop on Scenarios and State Machines
Generating Code from Scenario and State Based Models to Address Crosscutting Concerns
SCESM '07 Proceedings of the Sixth International Workshop on Scenarios and State Machines
Symbolic message sequence charts
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Safety analysis of software product lines using state-based modeling
Journal of Systems and Software
Synthesizing reactive systems from LSC requirements using the play-engine
Companion to the 22nd ACM SIGPLAN conference on Object-oriented programming systems and applications companion
Iterative model-driven development of adaptable service-based applications
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Concurrency in Biological Modeling: Behavior, Execution and Visualization
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Using LSCs for scenario authoring in tactical simulators
Proceedings of the 2007 Summer Computer Simulation Conference
Transformation from live sequence charts to colored Petri nets
Proceedings of the 2007 Summer Computer Simulation Conference
Pragmatics of storyboarding for web information systems: usage analysis
International Journal of Web and Grid Services
Prototyping System Requirements Model
Electronic Notes in Theoretical Computer Science (ENTCS)
Existential live sequence charts revisited
Proceedings of the 30th international conference on Software engineering
Toward Verified Biological Models
IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB)
Visualizing inter-dependencies between scenarios
Proceedings of the 4th ACM symposium on Software visualization
Generic Reactive Animation: Realistic Modeling of Complex Natural Systems
FMSB '08 Proceedings of the 1st international workshop on Formal Methods in Systems Biology
Smyle: A Tool for Synthesizing Distributed Models from Scenarios by Learning
CONCUR '08 Proceedings of the 19th international conference on Concurrency Theory
Sufficient Criteria for Consistent Behavior Modeling with Refined Activity Diagrams
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Compositional Refinement of Policies in UML --- Exemplified for Access Control
ESORICS '08 Proceedings of the 13th European Symposium on Research in Computer Security: Computer Security
Statecharts in the making: a personal account
Communications of the ACM - Being Human in the Digital Age
Requirements Coverage as an Adequacy Measure for Conformance Testing
ICFEM '08 Proceedings of the 10th International Conference on Formal Methods and Software Engineering
Crafting game-models using reactive system design
Future Play '08 Proceedings of the 2008 Conference on Future Play: Research, Play, Share
Specification mining of symbolic scenario-based models
Proceedings of the 8th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Generating Executable Scenarios from Natural Language
CICLing '09 Proceedings of the 10th International Conference on Computational Linguistics and Intelligent Text Processing
Construction of Process Models from Example Runs
Transactions on Petri Nets and Other Models of Concurrency II
Compositional Synthesis of Reactive Systems from Live Sequence Chart Specifications
TACAS '09 Proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009,
Controller Synthesis from LSC Requirements
FASE '09 Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
ACM Transactions on Software Engineering and Methodology (TOSEM)
Behaviour modelling notation for information system design
Proceedings of the 1st Workshop on Behaviour Modelling in Model-Driven Architecture
Classification of software behaviors for failure detection: a discriminative pattern mining approach
Proceedings of the 15th ACM SIGKDD international conference on Knowledge discovery and data mining
Software Engineering for Self-Adaptive Systems: A Research Roadmap
Software Engineering for Self-Adaptive Systems
Scenarios for validating systemC descriptions
ICC'08 Proceedings of the 12th WSEAS international conference on Circuits
Software architecture built from behavior models
ACM SIGSOFT Software Engineering Notes
L2C2: logic-based LSC consistency checking
PPDP '09 Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming
Mining Scenario-Based Triggers and Effects
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Achieving dependability in sensor networks through automated requirements-based programming
Computer Communications
Model-Based Testing Using LSCs and S2A
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Polymorphic Scenario-Based Specification Models: Semantics and Applications
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Verifying Real-Time Systems against Scenario-Based Requirements
FM '09 Proceedings of the 2nd World Congress on Formal Methods
SOFSEM '10 Proceedings of the 36th Conference on Current Trends in Theory and Practice of Computer Science
Combining Sequence Diagrams and OCL for Liveness
Electronic Notes in Theoretical Computer Science (ENTCS)
Generating Snapshots of a Component Setting
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
A classification and comparison of model checking software architecture techniques
Journal of Systems and Software
S2A: a compiler for multi-modal UML sequence diagrams
FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
Detecting design flaws in UML state charts for embedded software
HVC'06 Proceedings of the 2nd international Haifa verification conference on Hardware and software, verification and testing
Replaying play in and play out: synthesis of design models from scenarios by learning
TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems
Planned and traversable play-out: a flexible method for executing scenario-based programs
TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems
Quantifying the discord: order discrepancies in message sequence charts
ATVA'07 Proceedings of the 5th international conference on Automated technology for verification and analysis
An extendable system for conceptual modeling and simulation of signal transduction pathways
ER'07 Proceedings of the 2007 conference on Advances in conceptual modeling: foundations and applications
Object composition in scenario-based programming
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
A formal framework for developing adaptable service-based applications
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
Scenario Analysis: Generation of Possible Scenario Interpretations and their Visualization
REV '09 Proceedings of the 2009 Fourth International Workshop on Requirements Engineering Visualization
REV '09 Proceedings of the 2009 Fourth International Workshop on Requirements Engineering Visualization
On the expressive power of live sequence charts
Program analysis and compilation, theory and practice
Some results on the expressive power and complexity of LSCs
Pillars of computer science
Model-based software engineering: the challenges of modelling behaviour
Proceedings of the Second International Workshop on Behaviour Modelling: Foundation and Applications
Cybernetics and Systems Analysis
Deriving behavior of multi-user processes from interactive requirements validation
Proceedings of the IEEE/ACM international conference on Automated software engineering
PlayGo: towards a comprehensive tool for scenario based programming
Proceedings of the IEEE/ACM international conference on Automated software engineering
Scenario-based and value-based specification mining: better together
Proceedings of the IEEE/ACM international conference on Automated software engineering
Coordinating and visualizing independent behaviors in erlang
Proceedings of the 9th ACM SIGPLAN workshop on Erlang
Scenario-based analysis and synthesis of real-time systems using UPPAAL
Proceedings of the Conference on Design, Automation and Test in Europe
Programming coordinated behavior in java
ECOOP'10 Proceedings of the 24th European conference on Object-oriented programming
Modeling Biology using Generic Reactive Animation
Fundamenta Informaticae - From Mathematical Beauty to the Truth of Nature: to Jerzy Tiuryn on his 60th Birthday
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
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
Scenario-based verification of real-time systems using Uppaal
Formal Methods in System Design
AutoPA: automatic prototyping from requirements
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I
Cybernetics and Systems Analysis
A Compiler for Multimodal Scenarios: Transforming LSCs into AspectJ
ACM Transactions on Software Engineering and Methodology (TOSEM)
CSSL: a logic for specifying conditional scenarios
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
Model-checking behavioral programs
EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
The many meanings of UML 2 Sequence Diagrams: a survey
Software and Systems Modeling (SoSyM)
Software and Systems Modeling (SoSyM)
Symbolic Message Sequence Charts
ACM Transactions on Software Engineering and Methodology (TOSEM)
FMCO'05 Proceedings of the 4th international conference on Formal Methods for Components and Objects
Behavioral programming, decentralized control, and multiple time scales
Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE!'11, AOOPES'11, NEAT'11, & VMIL'11
Visualizing and simulating semantic web services ontologies
ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
ATVA'05 Proceedings of the Third international conference on Automated Technology for Verification and Analysis
Specification and refinement of soft real-time requirements using sequence diagrams
FORMATS'05 Proceedings of the Third international conference on Formal Modeling and Analysis of Timed Systems
A methodology for software synthesis of embedded real-time systems based on TPN and LSC
ICESS'05 Proceedings of the Second international conference on Embedded Software and Systems
Component tools: integrating petri nets with other formal methods
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
Towards synthesis of petri nets from scenarios
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
Synthesis of distributed processes from scenario-based specifications
FM'05 Proceedings of the 2005 international conference on Formal Methods
Verifying scenario-based aspect specifications
FM'05 Proceedings of the 2005 international conference on Formal Methods
Synthesis revisited: generating statechart models from scenario-based requirements
Formal Methods in Software and Systems Modeling
Compositional message sequence charts (CMSCs) are better to implement than MSCs
TACAS'05 Proceedings of the 11th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Temporal logic for scenario-based specifications
TACAS'05 Proceedings of the 11th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Generating a prototype from a UML model of system requirements
ICDCIT'04 Proceedings of the First international conference on Distributed Computing and Internet Technology
Modeling reactive systems and aspect-orientation
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
The complexity of live sequence charts
FOSSACS'05 Proceedings of the 8th international conference on Foundations of Software Science and Computation Structures
SMTT'03 Proceedings of the 2003 international conference on Scenarios: models, Transformations and Tools
Lightweight formal methods for scenario-based software engineering
SMTT'03 Proceedings of the 2003 international conference on Scenarios: models, Transformations and Tools
Combining state-based and scenario-based approaches in modeling biological systems
CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology
A dedicated approach for developing agent interaction protocols
PRIMA'04 Proceedings of the 7th Pacific Rim international conference on Intelligent Agents and Multi-Agent Systems
Synthesis from scenario-based specifications
Journal of Computer and System Sciences
Some thoughts on behavioral programming
PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets
FM'06 Proceedings of the 14th international conference on Formal Methods
Proceedings of the 2012 ACM international conference on Intelligent User Interfaces
Multi-modal scenarios revisited: A net-based representation
Theoretical Computer Science
AMAST'06 Proceedings of the 11th international conference on Algebraic Methodology and Software Technology
Underspecification, inherent nondeterminism and probability in sequence diagrams
FMOODS'06 Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
On the power of play-out for scenario-based programs
Concurrency, Compositionality, and Correctness
Timed high-level message sequence charts for real-time system design
SAM'06 Proceedings of the 5th international conference on System Analysis and Modeling: language Profiles
Rôle of domain engineering in software development—why current requirements engineering is flawed !
PSI'09 Proceedings of the 7th international Andrei Ershov Memorial conference on Perspectives of Systems Informatics
The good, the bad and the ugly: well-formedness of live sequence charts
FASE'06 Proceedings of the 9th international conference on Fundamental Approaches to Software Engineering
Communications of the ACM
Verifying systemC with scenario
VECoS'08 Proceedings of the Second international conference on Verification and Evaluation of Computer and Communication Systems
Using sequence diagrams to specify and to generate RTL assertions
VECoS'11 Proceedings of the Fifth international conference on Verification and Evaluation of Computer and Communication Systems
Learning from vacuously satisfiable scenario-based specifications
FASE'12 Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering
Proceedings of the Fourth Workshop on Behaviour Modelling - Foundations and Applications
Spaghetti for the main course?: observations on the naturalness of scenario-based programming
Proceedings of the 17th ACM annual conference on Innovation and technology in computer science education
Polymorphic scenario-based specification models: semantics and applications
Software and Systems Modeling (SoSyM)
Dynamic service composition and deployment with openrichservices
Software Service and Application Engineering
Data and abstraction for scenario-based modeling with petri nets
PETRI NETS'12 Proceedings of the 33rd international conference on Application and Theory of Petri Nets
Interactive Systems with Registers and Voices
Fundamenta Informaticae - SPECIAL ISSUE ON TRAJECTORIES OF LANGUAGE THEORY Dedicated to the memory of Alexandru Mateescu
Synthesis of Open Reactive Systems from Scenario-Based Specifications
Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'03)
Formally defining a graphical language for monitoring and checking object interactions
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
What makes a good process model?
Software and Systems Modeling (SoSyM)
The quest for runware: on compositional, executable and intuitive models
Software and Systems Modeling (SoSyM)
The effect of previous programming experience on the learning of scenario-based programming
Proceedings of the 12th Koli Calling International Conference on Computing Education Research
Assume-guarantee scenarios: semantics and synthesis
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
A decentralized approach for programming interactive applications with JavaScript and blockly
Proceedings of the 2nd edition on Programming systems, languages and applications based on actors, agents, and decentralized control abstractions
TRANSIT: specifying protocols with concolic snippets
Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation
An open conceptual framework for operationalising collective awareness and social sensing
Proceedings of the 3rd International Conference on Web Intelligence, Mining and Semantics
Counter play-out: executing unrealizable scenario-based specifications
Proceedings of the 2013 International Conference on Software Engineering
Example-driven modeling: model = abstractions + examples
Proceedings of the 2013 International Conference on Software Engineering
Formalizing correctness criteria of dynamic updates derived from specification changes
Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
Incrementally synthesizing controllers from scenario-based product line specifications
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
Declarative modeling: an academic dream or the future for BPM?
BPM'13 Proceedings of the 11th international conference on Business Process Management
Supporting incremental behaviour model elaboration
Computer Science - Research and Development
Supporting incremental behaviour model elaboration
Computer Science - Research and Development
Hi-index | 0.02 |