|
|
Venues (Conferences, Journals, ...)
|
|
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 |
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 |
Displaying result #1 - #21 of 21 (100 per page; Change: )
|
|