A cookbook for using the model-view controller user interface paradigm in Smalltalk-80
Journal of Object-Oriented Programming
Formal methods: state of the art and future directions
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
ACM Transactions on Computer-Human Interaction (TOCHI)
Requirements engineering: 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
A general framework for formalizing UML with formal languages
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Consistency maintenance in real-time collaborative graphics editing systems
ACM Transactions on Computer-Human Interaction (TOCHI)
An Event-Driven Multi-Threading Architecture for Embedded Systems
CODES '97 Proceedings of the 5th International Workshop on Hardware/Software Co-Design
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
A framework to simulate UML models: moving from a semi-formal to a formal environment
Proceedings of the 2004 ACM symposium on Applied computing
Formal Engineering for Industrial Software Development
Formal Engineering for Industrial Software Development
An Environment for Building a System out of its Requirements
Proceedings of the 19th IEEE international conference on Automated software engineering
Is this a revolutionary idea, or not?
Communications of the ACM - Bioinformatics
From Requirements Change to Design Change: A Formal Path
SEFM '04 Proceedings of the Software Engineering and Formal Methods, Second International Conference
A Metamodel for the Behavior Trees Modelling Technique
ICITA '05 Proceedings of the Third International Conference on Information Technology and Applications (ICITA'05) Volume 2 - Volume 02
Managing change in an OTS-aware requirements engineering approach
MPEC '05 Proceedings of the second international workshop on Models and processes for the evaluation of off-the-shelf components
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
A tool for automatic UML model consistency checking
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Integrating Safety and Security Requirements into Design of an Embedded System
APSEC '05 Proceedings of the 12th Asia-Pacific Software Engineering Conference
A UML model consistency verification approach based on meta-modeling formalization
Proceedings of the 2006 ACM symposium on Applied computing
Maintaining constraints in collaborative graphic systems: the CoGSE approach
ECSCW'05 Proceedings of the ninth conference on European Conference on Computer Supported Cooperative Work
Early Validation and Verification of a Distributed Role-Based Access Control Model
APSEC '07 Proceedings of the 14th Asia-Pacific Software Engineering Conference
Mastering test generation from smart card software formal models
CASSIS'04 Proceedings of the 2004 international conference on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
A tool to visualize behavior and design evolution
Ninth international workshop on Principles of software evolution: in conjunction with the 6th ESEC/FSE joint meeting
Journal of Visual Languages and Computing
Timed Behavior Trees for Failure Mode and Effects Analysis of time-critical systems
Journal of Systems and Software
Modelling behaviour requirements for automatic interpretation, simulation and deployment
SIMPAR'10 Proceedings of the Second international conference on Simulation, modeling, and programming for autonomous robots
A semantics for Behavior Trees using CSP with specification commands
Science of Computer Programming
Hi-index | 0.00 |
in this paper, we introduce a new cooperative design and visualization environment, called "integrare", which supports designers and developers in building dependable, component-based systems using a new behavior-oriented design method. This method has advantages in terms of its abilities to manage complexity, find defects and make checks of dependability. The environment integrates and unifies several tools that support multiple phases of the design process, allowing them to interact and exchange information, as well as providing efficient editing capabilities. it can help formalize individual natural language functional requirements as Behavior Trees. These trees can be composed to create an integrated tree-like view of all the formalized requirements. The environment manages complexity by allowing multiple users to work independently on requirements translation and tree editing in a collaborative mode. Once a design is constructed from the requirements, it can be visually simulated with respect to an underlying operational semantics, and formally verified by way of a model checker.