The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase UML-B (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
2000-2016 (17) 2017-2022 (4)
Publication types (Num. hits)
article(5) inproceedings(13) phdthesis(3)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 20 occurrences of 15 keywords

Results
Found 21 publication records. Showing 21 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
67Colin F. Snook, Michael J. Butler UML-B: Formal modeling and design aided by UML. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF UML-B, Modeling, refinement
62Colin F. Snook, Michael J. Butler UML-B: A Plug-in for the Event-B Tool Set. Search on Bibsonomy ABZ The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
43Mar Yah Said, Michael J. Butler, Colin F. Snook Language and Tool Support for Class and State Machine Refinement in UML-B. Search on Bibsonomy FM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF UML, Formal specification, Refinement, Event-B, Visual modelling languages
24Kevin Lano, David Clark 0001, Kelly Androutsopoulos UML to B: Formal Verification of Object-Oriented Models. Search on Bibsonomy IFM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF UML-RSDS, Graphical Specifications, UML, B
19Rahma 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). Search on Bibsonomy 2016   RDF
19Colin F. Snook, Vitaly Savicks, Michael J. Butler Verification of UML Models by Translation to UML-B. Search on Bibsonomy FMCO The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
14David Garlan, Andrew Kompanek Reconciling the Needs of Architectural Description with Object-Modeling Notations. Search on Bibsonomy UML The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
10Colin F. Snook, Marina Waldén Refinement of Statemachines Using Event B Semantics. Search on Bibsonomy B The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
10Colin F. Snook, Michael Poppleton, Ian Johnson Towards a Method for Rigorous Development of Generic Requirements Patterns. Search on Bibsonomy RODIN Book The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
10Dieu Donné Okalas Ossami, Jean-Pierre Jacquot, Jeanine Souquières Consistency in UML and B Multi-view Specifications. Search on Bibsonomy IFM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF UML, verification, consistency, operator, B, multi-view
9Colin F. Snook, Michael J. Butler, Thai Son Hoang, Asieh Salehi Fathabadi, Dana Dghaym Developing the UML-B Modelling Tools. Search on Bibsonomy SEFM Workshops The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
9Ahmed Al-Brashdi Incremental and rigorous database design and code generation using UML-B and event-B Search on Bibsonomy 2020   RDF
9Mohammad Nosrati, Hassan Haghighi A Probabilistic Extension of UML-B. Search on Bibsonomy Comput. Informatics The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
9Ahmed Al-Brashdi, Michael J. Butler, Abdolbaghi Rezazadeh Incremental Database Design using UML-B and Event-B. Search on Bibsonomy IMPEX/FM&MDD The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
9Mehrnaz Najafi, Hassan Haghighi, Tahereh Zohdi Nasab A Set of Refactoring Rules for UML-B Specifications. Search on Bibsonomy Comput. Informatics The full citation details ... 2016 DBLP  BibTeX  RDF
9Raja Oueslati, Olfa Mosbahi, Mohamed Khalgui, Samir Ben Ahmed A Novel R-UML-B Approach for Modeling and Code Generation of Reconfigurable Control Systems. Search on Bibsonomy ENASE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
9Mar Yah Said, Michael J. Butler, Colin F. Snook A method of refinement in UML-B. Search on Bibsonomy Softw. Syst. Model. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
9Thiago C. de Sousa, Colin F. Snook, Paulo Sérgio Muniz Silva A proposal for extending UML-B to support a conceptual model. Search on Bibsonomy Innov. Syst. Softw. Eng. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
9Mar Yah Said Methodology of refinement and decomposition in UML-B. Search on Bibsonomy 2010   RDF
9Colin F. Snook, Kim Sandström Using UML-B and U2B for formal refinement of digital components1. Search on Bibsonomy FDL The full citation details ... 2003 DBLP  BibTeX  RDF
5Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar A. Malik Formal Service-Oriented Development of Fault Tolerant Communicating Systems. Search on Bibsonomy RODIN Book The full citation details ... 2006 DBLP  DOI  BibTeX  RDF fault tolerance, UML, B Method, communicating systems, service-oriented development
Displaying result #1 - #21 of 21 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license