Search results for "UML-B"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
67	Colin F. Snook, Michael J. Butler	UML-B: Formal modeling and design aided by UML.	ACM Trans. Softw. Eng. Methodol.	2006	DBLP DOI BibTeX RDF	UML-B, Modeling, refinement
62	Colin F. Snook, Michael J. Butler	UML-B: A Plug-in for the Event-B Tool Set.	ABZ	2008	DBLP DOI BibTeX RDF
43	Mar Yah Said, Michael J. Butler, Colin F. Snook	Language and Tool Support for Class and State Machine Refinement in UML-B.	FM	2009	DBLP DOI BibTeX RDF	UML, Formal specification, Refinement, Event-B, Visual modelling languages
24	Kevin Lano, David Clark 0001, Kelly Androutsopoulos	UML to B: Formal Verification of Object-Oriented Models.	IFM	2004	DBLP DOI BibTeX RDF	UML-RSDS, Graphical Specifications, UML, B
19	Rahma Yangui	Modélisation UML/B pour la validation des exigences de sécurité des règles d'exploitation ferroviaires. (UML/B modeling for the safety requirements validation of railway operating rules).		2016	RDF
19	Colin F. Snook, Vitaly Savicks, Michael J. Butler	Verification of UML Models by Translation to UML-B.	FMCO	2010	DBLP DOI BibTeX RDF
14	David Garlan, Andrew Kompanek	Reconciling the Needs of Architectural Description with Object-Modeling Notations.	UML	2000	DBLP DOI BibTeX RDF
10	Colin F. Snook, Marina Waldén	Refinement of Statemachines Using Event B Semantics.	B	2007	DBLP DOI BibTeX RDF
10	Colin F. Snook, Michael Poppleton, Ian Johnson	Towards a Method for Rigorous Development of Generic Requirements Patterns.	RODIN Book	2006	DBLP DOI BibTeX RDF
10	Dieu Donné Okalas Ossami, Jean-Pierre Jacquot, Jeanine Souquières	Consistency in UML and B Multi-view Specifications.	IFM	2005	DBLP DOI BibTeX RDF	UML, verification, consistency, operator, B, multi-view
9	Colin F. Snook, Michael J. Butler, Thai Son Hoang, Asieh Salehi Fathabadi, Dana Dghaym	Developing the UML-B Modelling Tools.	SEFM Workshops	2022	DBLP DOI BibTeX RDF
9	Ahmed Al-Brashdi	Incremental and rigorous database design and code generation using UML-B and event-B		2020	RDF
9	Mohammad Nosrati, Hassan Haghighi	A Probabilistic Extension of UML-B.	Comput. Informatics	2019	DBLP DOI BibTeX RDF
9	Ahmed Al-Brashdi, Michael J. Butler, Abdolbaghi Rezazadeh	Incremental Database Design using UML-B and Event-B.	IMPEX/FM&MDD	2017	DBLP DOI BibTeX RDF
9	Mehrnaz Najafi, Hassan Haghighi, Tahereh Zohdi Nasab	A Set of Refactoring Rules for UML-B Specifications.	Comput. Informatics	2016	DBLP BibTeX RDF
9	Raja Oueslati, Olfa Mosbahi, Mohamed Khalgui, Samir Ben Ahmed	A Novel R-UML-B Approach for Modeling and Code Generation of Reconfigurable Control Systems.	ENASE	2016	DBLP DOI BibTeX RDF
9	Mar Yah Said, Michael J. Butler, Colin F. Snook	A method of refinement in UML-B.	Softw. Syst. Model.	2015	DBLP DOI BibTeX RDF
9	Thiago C. de Sousa, Colin F. Snook, Paulo Sérgio Muniz Silva	A proposal for extending UML-B to support a conceptual model.	Innov. Syst. Softw. Eng.	2011	DBLP DOI BibTeX RDF
9	Mar Yah Said	Methodology of refinement and decomposition in UML-B.		2010	RDF
9	Colin F. Snook, Kim Sandström	Using UML-B and U2B for formal refinement of digital components1.	FDL	2003	DBLP BibTeX RDF
5	Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar A. Malik	Formal Service-Oriented Development of Fault Tolerant Communicating Systems.	RODIN Book	2006	DBLP DOI BibTeX RDF	fault tolerance, UML, B Method, communicating systems, service-oriented development