|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 115 occurrences of 69 keywords
|
|
|
Results
Found 141 publication records. Showing 141 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
25 | Thanh-Hai Trinh, Ronan Querrec, Pierre De Loor, Pierre Chevaillier |
Ensuring semantic spatial constraints in virtual environments using UML/OCL. |
VRST |
2010 |
DBLP DOI BibTeX RDF |
|
25 | Mathias Soeken, Robert Wille, Mirco Kuhlmann, Martin Gogolla, Rolf Drechsler |
Verifying UML/OCL Models Using Boolean Satisfiability. |
MBMV |
2010 |
DBLP BibTeX RDF |
|
25 | Olegas Vasilecas, Kestutis Normantas |
Decision table based approach for business rules modelling in UML/OCL. |
CompSysTech |
2010 |
DBLP DOI BibTeX RDF |
|
25 | Diana Kalibatiene, Olegas Vasilecas |
On OWL/SWRL mapping to UML/OCL. |
CompSysTech |
2010 |
DBLP DOI BibTeX RDF |
|
25 | Asadullah Shaikh, Uffe Kock Wiil, Nasrullah Memon |
UOST: UML/OCL Aggressive Slicing Technique for Efficient Verification of Models. |
SAM |
2010 |
DBLP DOI BibTeX RDF |
|
25 | Jordi Cabot, Raquel Pau, Ruth Raventós |
From UML/OCL to SBVR Specifications: a Challenging Transformation. |
JISBD |
2010 |
DBLP BibTeX RDF |
|
25 | Achim D. Brucker, Matthias P. Krieger, Delphine Longuet, Burkhart Wolff |
A Specification-Based Test Case Generation Method for UML/OCL. |
MoDELS (Workshops) |
2010 |
DBLP DOI BibTeX RDF |
|
25 | Asadullah Shaikh, Robert Clarisó, Uffe Kock Wiil, Nasrullah Memon |
Verification-driven slicing of UML/OCL models. |
ASE |
2010 |
DBLP DOI BibTeX RDF |
|
25 | Jordi Cabot, Ernest Teniente |
Incremental integrity checking of UML/OCL conceptual schemas. |
J. Syst. Softw. |
2009 |
DBLP DOI BibTeX RDF |
|
25 | Thanh Thanh Le Thi |
Modeling of programming languages in UML/OCL and application in a MDE process. |
IADIS AC (1) |
2009 |
DBLP BibTeX RDF |
|
25 | Jordi Cabot, Robert Clarisó, Daniel Riera |
Verifying UML/OCL Operation Contracts. |
IFM |
2009 |
DBLP DOI BibTeX RDF |
|
25 | Jordi Cabot, Robert Clarisó, Daniel Riera |
Verification of UML/OCL Class Diagrams using Constraint Programming. |
ICST Workshops |
2008 |
DBLP DOI BibTeX RDF |
|
25 | Audrey Occello, Anne-Marie Dery-Pinna, Michel Riveill |
Validation and Verification of an UML/OCL Model with USE and B: Case Study and Lessons Learnt. |
ICST Workshops |
2008 |
DBLP DOI BibTeX RDF |
|
25 | Jordi Cabot |
From Declarative to Imperative UML/OCL Operation Specifications. |
ER |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Jordi Cabot, Robert Clarisó, Patricia de la Fuente, Daniel Riera |
UMLtoCSP: Una herramienta para la verificación de modelos UML/OCL mediante Constraint Programming. |
JISBD |
2007 |
DBLP BibTeX RDF |
|
25 | Mohamed Bouhdadi, Chabbar El Maati, Hafid Belhaj |
A UML/OCL Denotational Semantics for ODP Structural Computational Concepts. |
RCIS |
2007 |
DBLP BibTeX RDF |
|
25 | Milan Milanovic, Dragan Gasevic, Adrian Giurca, Gerd Wagner 0001, Vladan Devedzic |
Towards Sharing Rules Between OWL/SWRL and UML/OCL. |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Thomas Baar, Slavisa Markovic |
A Graphical Approach to Prove the Semantic Preservation of UML/OCL Refactoring Rules. |
Ershov Memorial Conference |
2006 |
DBLP DOI BibTeX RDF |
UML, Refactoring, OCL, Semantic Preservation |
25 | Miguel Garcia |
Formalizing the Well-Formedness Rules of EJB3QL in UML + OCL. |
MoDELS (Workshops) |
2006 |
DBLP DOI BibTeX RDF |
EJB3QL, Metamodel, OCL, Static semantics |
25 | Ahmed Gaafar, Sherif Sakr |
Towards a Framework for Mapping Between UML/OCL and XML/XQuery. |
UML |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Geri Georg, Jores Bieman, Robert B. France |
Using Alloy and UML/OCL to Specify Run-Time Configuration Management: A Case Study. |
pUML |
2001 |
DBLP BibTeX RDF |
|
25 | Tom M. van Engers |
Power: Using UML/OCL for modelling legislation - an application report. |
ICAIL |
2001 |
DBLP DOI BibTeX RDF |
|
25 | Achim D. Brucker, Burkhart Wolff |
Testing Distributed Component Based Systems Using UML/OCL. |
GI Jahrestagung (1) |
2001 |
DBLP BibTeX RDF |
|
25 | Janis Putman |
Model for Fault Tolerance and Policy from RM-ODP Expressed in UML/OCL. |
ISORC |
2000 |
DBLP DOI BibTeX RDF |
fault tolerance, UML, policy, OCL, behavior, RM-ODP |
25 | José Miguel Cañete Valdeón, Francisco José Galán Morillo, Miguel Toro |
Primeros Pasos hacia un Compilador de UML/OCL. |
JISBD |
2000 |
DBLP BibTeX RDF |
|
25 | Birgit Demuth, Heinrich Hußmann |
Using UML/OCL Constraints for Relational Database Design. |
UML |
1999 |
DBLP DOI BibTeX RDF |
|
25 | G. Satya Reddy, Hrushikesha Mohanty |
Specification Based Testing of Inheritance: A Framework of a Tool. |
ICIT |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Pedro Nogueira Ramos |
Contrary-to-Duties Constraints: From UML to Relational Model. |
MoDELS |
2008 |
DBLP DOI BibTeX RDF |
Contrary-To-Duties, Deontic Constraints, UML, Relational Model |
20 | Karsten Sohr, Gail-Joon Ahn, Lars Migge |
Articulating and enforcing authorisation policies with UML and OCL. |
ACM SIGSOFT Softw. Eng. Notes |
2005 |
DBLP DOI BibTeX RDF |
UML |
15 | Andrzej Bialas |
Semiformal Approach to the IT Security Development. |
DepCoS-RELCOMEX |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Nicolas Guelfi, Gilles Perrouin |
A Flexible Requirements Analysis Approach for Software Product Lines. |
REFSQ |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Jildou Louwsma, Sisi Zlatanova, Ron van Lammeren, Peter van Oosterom |
Specifying and Implementing Constraints in GIS - with Examples from a Geo-Virtual Reality System. |
GeoInformatica |
2006 |
DBLP DOI BibTeX RDF |
object constraints, GeoVR, virtual reality, unified modelling language, GIS, object constraint language, 3D objects |
15 | Thomas Baar, Slavisa Markovic, Frédéric Fondement, Alfred Strohmeier |
Definition and Correct Refinement of Operation Specifications. |
Research Results of the DICS Program |
2006 |
DBLP DOI BibTeX RDF |
System Operations, UML, Refinements, Refactorings, OCL, Graph Transformations, Design by Contract, QVT |
15 | Jin Song Dong |
From semantic web to expressive software specifications: a modeling languages spectrum. |
ICSE |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Herman Balsters, George B. Huitema, Nicolae B. Szirbik |
Semantics of Agent-Based Service Delegation and Alignment. |
OTM Workshops |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Frédéric Fondement, Thomas Baar |
Making Metamodels Aware of Concrete Syntax. |
ECMDA-FA |
2005 |
DBLP DOI BibTeX RDF |
Concrete Syntax Description, UML, Metamodeling, Visual Languages, OCL, MOF |
15 | Nikolai Kosmatov, Bruno Legeard, Fabien Peureux, Mark Utting |
Boundary Coverage Criteria for Test Generation from Formal Models. |
ISSRE |
2004 |
DBLP DOI BibTeX RDF |
boundary-value testing, test coverage criteria, model-based testing |
15 | Fabrice Bouquet, Bruno Legeard, Fabien Peureux, Eric Torreborre |
Mastering Test Generation from Smart Card Software Formal Models. |
CASSIS |
2004 |
DBLP DOI BibTeX RDF |
boundary testing, smart card standard, formal specifications, functional testing, Automated test generation |
15 | Herman Balsters, Bert O. de Brock |
An Object-Oriented Framework for Managing Cooperating Legacy Databases. |
OOIS |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Cristina Gómez 0001, Antoni Olivé |
Evolving Derived Entity Types in Conceptual Schemas in the UML. |
OOIS |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Roger Smith, Bertrand Meyer 0001, Clemens A. Szyperski, Gilda Pour |
Component-Based Development? Refining the Blueprint. |
TOOLS (34) |
2000 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #141 of 141 (100 per page; Change: ) Pages: [ <<][ 1][ 2] |
|