|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 608 occurrences of 286 keywords
|
|
|
Results
Found 1079 publication records. Showing 1079 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
20 | G. Satya Reddy, Hrushikesha Mohanty |
Specification Based Testing of Inheritance: A Framework of a Tool. |
ICIT |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Geguang Pu, Jianqi Shi, Zheng Wang 0005, Lu Jin, Jing Liu 0012, Jifeng He 0001 |
The Validation and Verification of WSCDL. |
APSEC |
2007 |
DBLP DOI BibTeX RDF |
WSCDL, Verification, Validation |
20 | Lijun Yu, Robert B. France, Indrakshi Ray, Kevin Lano |
A light-weight static approach to analyzing UML behavioral properties. |
ICECCS |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Claudia Pons, Diego García |
Practical Verification Strategy for Refinement Conditions in UML Models. |
IFIP Workshop on Advanced Software Engineering |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Orest Pilskalns, Daniel Williams 0001, Damir Aracic, Anneliese Amschler Andrews |
Security Consistency in UML Designs. |
COMPSAC (1) |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Levi Lucio, Luis Pedro, Didier Buchs |
A Methodology and a Framework for Model-Based Testing. |
RISE |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Indrakshi Ray, Na Li, Robert B. France, Dae-Kyoo Kim |
Using uml to visualize role-based access control constraints. |
SACMAT |
2004 |
DBLP DOI BibTeX RDF |
modeling, UML, RBAC |
20 | Herman Balsters, Bert O. de Brock |
Integration of Integrity Constraints in Federated Schemata Based on Tight Constraining. |
CoopIS/DOA/ODBASE (1) |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Herman Balsters, Bert O. de Brock |
An Object-Oriented Framework for Reconciliation and Extraction in Heterogeneous Data Federations. |
ADVIS |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Dominik Stein, Stefan Hanenberg, Rainer Unland |
A Graphical Notation to Specify Model Queries for MDA Transformations on UML Models. |
MDAFA |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Richard Widhalm, Thomas A. Mück |
Merging Topics in Well-Formed XML Topic Maps. |
ISWC |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Joseph Gil, John Howse, Stuart Kent 0001 |
Constraint Diagrams: A Step Beyond UML. |
TOOLS (30) |
1999 |
DBLP DOI BibTeX RDF |
Modelling, formal methods, visual formalism, object-oriented software development |
20 | Jan Øyvind Aagedal |
Towards an ODP-Compliant Object Definition Language with QoS-Support. |
IDMS |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Manoli Albert, Jordi Cabot, Cristina Gómez 0001, Vicente Pelechano |
Automatic generation of basic behavior schemas from UML class diagrams. |
Softw. Syst. Model. |
2010 |
DBLP DOI BibTeX RDF |
Behavior schema, Structural event, UML, OCL, Operation, Class diagram |
17 | Daniel Amyot, Jennifer Horkoff, Daniel Gross, Gunter Mussbacher |
A Lightweight GRL Profile for i* Modeling. |
ER Workshops |
2009 |
DBLP DOI BibTeX RDF |
jUCMNav, profile, OCL, User Requirements Notation, i*, Goal-oriented Requirement Language |
17 | Thomas Baar |
Correctly defined concrete syntax. |
Softw. Syst. Model. |
2008 |
DBLP DOI BibTeX RDF |
Metamodeling, Visual languages, OCL, Triple-Graph-Grammars (TGGs), Concrete syntax |
17 | Grzegorz Falda, Piotr Habela, Krzysztof Kaczmarski, Krzysztof Stencel, Kazimierz Subieta |
Executable Platform Independent Models for Data Intensive Applications. |
ICCS (3) |
2008 |
DBLP DOI BibTeX RDF |
UML, Model Driven Architecture, OCL, Executable Models, Database Modelling, Platform Independent Modelling, Database Query Languages |
17 | Panuchart Bunyakiati, Anthony Finkelstein, James Skene, Clovis Chapman |
Using JULE to generate a compliance test suite for the UML standard. |
ICSE |
2008 |
DBLP DOI BibTeX RDF |
ocl, test generation, metamodel, certification, binary decision diagram, uml |
17 | Fabrice Bouquet, Christophe Grandpierre, Bruno Legeard, Fabien Peureux, Nicolas Vacelet, Mark Utting |
A subset of precise UML for model-based testing. |
A-MOST |
2007 |
DBLP DOI BibTeX RDF |
UML, model-based testing, OCL |
17 | Matthias Erche, Michael Wagner 0006, Christian Hein |
Mapping visual notations to MOF compliant models with QVT relations. |
SAC |
2007 |
DBLP DOI BibTeX RDF |
QVT relations, model transformation, domain specific languages, visual languages, OCL |
17 | Lionel C. Briand, Yvan Labiche, Johanne Leduc |
Toward the Reverse Engineering of UML Sequence Diagrams for Distributed Java Software. |
IEEE Trans. Software Eng. |
2006 |
DBLP DOI BibTeX RDF |
UML, reverse engineering, distribution, OCL, AspectJ, sequence diagram, RMI |
17 | Chouki Tibermacine, Régis Fleurquin, Salah Sadou |
Simplifying transformation of software architecture constraints. |
SAC |
2006 |
DBLP DOI BibTeX RDF |
architecture constraint languages, constraint transformation, OCL, component-based software development |
17 | Uwe Zdun, Paris Avgeriou |
Modeling architectural patterns using architectural primitives. |
OOPSLA |
2005 |
DBLP DOI BibTeX RDF |
modeling patterns, UML, OCL, software patterns, architectural patterns, architectural documentation |
17 | Egon Teiniker, Robert Lechner, Gernot Schmoelzer, Christian Kreiner, Zsolt Kovács, Reinhold Weiss |
Towards a Contract Aware CORBA Component Container. |
COMPSAC (1) |
2005 |
DBLP DOI BibTeX RDF |
OCL, Design by Contract, CCM |
17 | Miguel Goulão, Fernando Brito e Abreu |
Composition Assessment Metrics for CBSE. |
EUROMICRO-SEAA |
2005 |
DBLP DOI BibTeX RDF |
Software Metrics, OCL, Component-Based Software Engineering, CORBA Component Model |
17 | Issa Traoré, Demissie B. Aredo |
Enhancing Structured Review with Model-Based Verification. |
IEEE Trans. Software Eng. |
2004 |
DBLP DOI BibTeX RDF |
Structured review, prototype verification system (PVS), model-based verification, UML, formal methods, OCL, validation and verification |
17 | Franca Garzotto, Vito Perrone |
Integrating user operations in multichannel hypermedia. |
Hypertext |
2003 |
DBLP DOI BibTeX RDF |
services on the web, web operations, UML, context, conceptual modelling, OCL, multi-channel |
17 | Greg Nordstrom, Janos Sztipanovits, Gabor Karsai, Ákos Lédeczi |
Metamodeling - Rapid Design and Evolution of Domain-Specific Modeling Environments. |
ECBS |
1999 |
DBLP DOI BibTeX RDF |
Modeling, UML, Metamodeling, OCL, Modeling Tools, Visual Modeling, Multigraph |
16 | Bernhard Beckert, Steffen Schlager |
Refinement and retrenchment for programming language data types. |
Formal Aspects Comput. |
2005 |
DBLP DOI BibTeX RDF |
Retrenchment refinement, UML/OCL, Java, Formal specification, Software verification, Integer arithmetic |
16 | Holger Giese, Matthias Tichy, Sven Burmester, Stephan Flake |
Towards the compositional verification of real-time UML designs. |
ESEC / SIGSOFT FSE |
2003 |
DBLP DOI BibTeX RDF |
unified modelling language (UML), embedded systems, real-time, pattern, object constraint language (OCL) |
16 | Hassan Sartaj, Muhammad Zohaib Iqbal, Atif Aftab Ahmed Jilani, Muhammad Uzair Khan |
Efficient Test Data Generation for MC/DC with OCL and Search. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
16 | Hoang Nguyen Phuoc Bao, Manuel Clavel |
Proving correctness for SQL implementations of OCL constraints. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
16 | Shan Lu 0012, Alexey Tazin, Yanji Chen, Mieczyslaw M. Kokar, Jeff Smith |
Detection of Inconsistencies in SysML/OCL Models Using OWL Reasoning. |
SN Comput. Sci. |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Artur Boronat |
Safe reuse in modelling language engineering using model subtyping with OCL constraints. |
Softw. Syst. Model. |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Shaurya Rohatgi, Yanxia Qin, Benjamin Aw, Niranjana Unnithan, Min-Yen Kan |
The ACL OCL Corpus: advancing Open science in Computational Linguistics. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Seif Abukhalaf, Mohammad Hamdaqa, Foutse Khomh |
On Codex Prompt Engineering for OCL Generation: An Empirical Study. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Hao Wu 0017 |
QMaxUSE: A new tool for verifying UML class diagrams and OCL invariants. |
Sci. Comput. Program. |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Yiling Xie, Baochuang Wang, Jianping Guo, Dihu Chen |
An Event-Driven Charge Pump Based OCL-LDO with 410nA IQ and 30ns Recovery Time. |
ICTA |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Friedrich Steimann, Robert Clarisó, Martin Gogolla |
OCL Rebuilt, From the Ground Up. |
MODELS |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Shaurya Rohatgi, Yanxia Qin, Benjamin Aw, Niranjana Unnithan, Min-Yen Kan |
The ACL OCL Corpus: Advancing Open Science in Computational Linguistics. |
EMNLP |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Seif Abukhalaf, Mohammad Hamdaqa, Foutse Khomh |
On Codex Prompt Engineering for OCL Generation: An Empirical Study. |
MSR |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Hao Wu 0017 |
A Query-based Approach for Verifying UML Class Diagrams with OCL Invariants. |
J. Object Technol. |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Robert Clarisó, Lola Burgueño, Jordi Cabot |
Managing Design-time Uncertainty in OCL Expressions. |
J. Object Technol. |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Shan Lu 0012, Alexey Tazin, Yanji Chen, Mieczyslaw M. Kokar, Jeff Smith |
Ontology-based Detection of Inconsistencies in UML/OCL Models. |
MODELSWARD |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Mustafa Al-Lail, Antonio Rosales, Hector Cardenas, Lars Hamann, Alfredo J. Perez |
Transformation of TOCL temporal properties into OCL. |
MoDELS (Companion) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Kunxiang Jin, Kevin Lano |
Design and classification of mutation operators for OCL specification. |
MoDELS (Companion) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Kevin Lano, Shekoufeh Kolahdouz Rahimi, Kunxiang Jin |
OCL libraries for software specification and representation. |
MoDELS (Companion) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Lars Hamann, Martin Gogolla, Mustafa Al-Lail |
Categorization of approaches to extend and reuse OCL. |
MoDELS (Companion) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Jordi Cabot, David Delgado 0003, Lola Burgueño |
Combining OCL and natural language: a call for a community effort. |
MoDELS (Companion) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Edward D. Willink |
Support for OCL libraries and static features. |
MoDELS (Companion) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Frédéric Jouault, Maxime Méré, Matthias Brun 0001, Théo Le Calvar, Matthias Pasquier, Ciprian Teodorov |
From OCL-based model static analysis to quick fixes. |
MoDELS (Companion) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Kunxiang Jin, Kevin Lano |
OCL-based test case prioritisation using AgileUML. |
MoDELS (Companion) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Edward D. Willink |
Challenges for code generated OCL execution. |
MoDELS (Companion) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Juan Antonio Gómez-Gutiérrez, Robert Clarisó, Jordi Cabot |
A Tool for Debugging Unsatisfiable Integrity Constraints in UML/OCL Class Diagrams. |
BPMDS/EMMSAD@CAiSE |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Hao Wu 0017 |
QMaxUSE: A Query-based Verification Tool for UML Class Diagrams with OCL Invariants. |
FASE |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Beatriz A. Sánchez, Athanasios Zolotas, Horacio Hoyos Rodriguez, Dimitris S. Kolovos, Richard F. Paige, Justin C. Cooper, Jason Hampson |
Runtime translation of OCL-like statements on Simulink models: Expanding domains and optimising queries. |
Softw. Syst. Model. |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Fatma Abdelhédi, Amal Ait Brahim, Gilles Zurfluh |
OCL Constraints Checking on NoSQL Systems Through an MDA-Based Approach. |
Int. J. Data Warehous. Min. |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Martin Gogolla |
Model Development in the Tool USE: Explorative, Consolidating and Analytic Steps for UML and OCL Models. |
ICDCIT |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Messaoud Abbas, Fatima Haloua, Ammar Boucherit |
Development of Critical Systems with UML/OCL and FoCaLiZe. |
MEDI Workshops |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Nan Liu, Jianping Guo |
A 25nA IQ, 20mA ILOAD OCL-LDO for Battery-Powered IoT Devices. |
ICTA |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Kevin Lano, Shekoufeh Kolahdouz Rahimi |
Extending OCL with Map and Function Types. |
FSEN |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Ludovico Iovino, Lars Michael Kristensen (eds.) |
STAF 2021 Workshop Proceedings: 9th International Workshop on Bidirectional Transformations, Joint Workshop on Foundations and Practice of Visual Modeling and Data for Model-Driven Engineering, International workshop on MDE for Smart IoT Systems, 4th International Workshop on (Meta)Modeling for Healthcare Systems, and 20th International Workshop on OCL and Textual Modeling co-located with Software Technologies: Applications and Foundations, Federation of Conferences (STAF 2021), Virtual Event / Bergen, Norway, June 21-25, 2021. |
STAF Workshops |
2021 |
DBLP BibTeX RDF |
|
16 | Nardi Utomo, Boon Chiat Terence Teo, Xian Yang Lim, Venkadasamy Navaneethan, Ziming Liu, Chong Boon Tan, Yun Da Bryan Seah, Ying Hung Yvonne Lam, Liter Siek |
Low Voltage Low Power Output Programmable OCL-LDO with Embedded Voltage Reference. |
ISCAS |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Paula Muñoz 0001, Javier Troya, Antonio Vallecillo |
Using UML and OCL Models to Realize High-Level Digital Twins. |
MoDELS (Companion) |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Georg Hinkel |
An NMF solution to the TTC 2021 OCL to SQL case. |
TTC/ |
2021 |
DBLP BibTeX RDF |
|
16 | Zijun Chen, Wilbert Alberts, Ivan Kurtev |
Testing Code Generators: a Case Study on Applying USE, EFinder and Tracts in Practice. |
STAF Workshops |
2021 |
DBLP BibTeX RDF |
|
16 | Alexander Heß, Franz J. Hauck, David Mödinger, Jakob Pietron, Matthias Tichy, Jörg Domaschka |
Morpheus: A Degradation Framework for Resilient IoT Systems. |
STAF Workshops |
2021 |
DBLP BibTeX RDF |
|
16 | Felicien Ihirwe, Davide Di Ruscio, Silvia Mazzini, Alfonso Pierantonio |
Towards a Modeling and Analysis Environment for Industrial IoT systems. |
STAF Workshops |
2021 |
DBLP BibTeX RDF |
|
16 | Steven Kelly 0001, Juha-Pekka Tolvanen |
Automated Annotations in Domain-Specific Models: Analysis of 23 Cases. |
STAF Workshops |
2021 |
DBLP BibTeX RDF |
|
16 | Elina Kalnina, Dmitrijs Kosarevskis, Agris Sostaks |
Find-Replace as a Service of Graph-Based DSL Tool Development Framework. |
STAF Workshops |
2021 |
DBLP BibTeX RDF |
|
16 | Timur Saglam, Heiko Klare |
Classifying and Avoiding Compatibility Issues in Networks of Bidirectional Transformations. |
STAF Workshops |
2021 |
DBLP BibTeX RDF |
|
16 | Edward D. Willink |
A Validity Analysis to Reify 2-valued Boolean Constraints. |
STAF Workshops |
2021 |
DBLP BibTeX RDF |
|
16 | Bryce Clarke |
Delta Lenses as Coalgebras for a Comonad. |
STAF Workshops |
2021 |
DBLP BibTeX RDF |
|
16 | Kunxiang Jin, Kevin Lano |
Mutation Operators for Object Constraint Language Specification. |
STAF Workshops |
2021 |
DBLP BibTeX RDF |
|
16 | Jakob Pietron, Fabian Füg, Matthias Tichy |
An Operation-based Versioning Approach for Synchronous and Asynchronous Collaboration in Graphical Modeling Tools. |
STAF Workshops |
2021 |
DBLP BibTeX RDF |
|
16 | Zahra Rajaei, Shekoufeh Kolahdouz Rahimi, Massimo Tisi, Frédéric Jouault |
A DSL for Encoding Models for Graph-Learning Processes. |
STAF Workshops |
2021 |
DBLP BibTeX RDF |
|
16 | Nils Weidmann, Anthony Anjorin |
eMoflon: : Neo - Consistency and Model Management with Graph Databases. |
STAF Workshops |
2021 |
DBLP BibTeX RDF |
|
16 | Jordi Cabot, Daniel Calegari, Robert Clarisó, Martin Gogolla, Antonio Vallecillo, Edward D. Willink |
A SWOT Analysis of the Object Constraint Language. |
STAF Workshops |
2021 |
DBLP BibTeX RDF |
|
16 | Anthony Anjorin, Hsiang-Shang Ko, Erhan Leblebici |
C-Lenses Explained: Bx Foundations for the Rest of Us. |
STAF Workshops |
2021 |
DBLP BibTeX RDF |
|
16 | Van-Dang Tran, Hiroyuki Kato, Zhenjiang Hu |
Toward Recursive View Update Strategies on Relations. |
STAF Workshops |
2021 |
DBLP BibTeX RDF |
|
16 | Cinzia Bernardeschi, Andrea Domenici, Maurizio Palmieri |
A Prototyping Process for Medical Devices and Systems. |
STAF Workshops |
2021 |
DBLP BibTeX RDF |
|
16 | Nuno Amálio, Lionel C. Briand, Pierre Kelsen |
An experimental scrutiny of visual design modelling: VCL up against UML+OCL. |
Empir. Softw. Eng. |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Frank Hilken, Lars Hamann |
History of the USE Tool 20 Years of UML/OCL Modeling Made in Germany. |
J. Object Technol. |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Christian Maeder, Karsten Sohr, Rodrigue Wete Nguempnang, Nils Meyer-Larsen, Rainer Müller |
Modeling and Validating Role-Based Authorization Policies for a Port Communication System with UML and OCL. |
J. Object Technol. |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Robert Clarisó, Carlos A. González, Jordi Cabot |
Incremental Verification of UML/OCL Models. |
J. Object Technol. |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Christoph Bockisch, Gabriele Taentzer, Nebras Nassar, Lukas Wydra |
Java Bytecode Verification with OCL Why, How and Whenc. |
J. Object Technol. |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Paula Muñoz 0001, Loli Burgueño, Victor Ortiz, Antonio Vallecillo |
Extending OCL with Subjective Logic. |
J. Object Technol. |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Ed Willink |
Reflections on OCL 2. |
J. Object Technol. |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Manuel F. Bertoa, Loli Burgueño, Nathalie Moreno, Antonio Vallecillo |
Incorporating measurement uncertainty into OCL/UML primitive datatypes. |
Softw. Syst. Model. |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Jesús Sánchez Cuadrado |
A verified catalogue of OCL optimisations. |
Softw. Syst. Model. |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Mohamed Larhrib, Miguel Escribano, Carlos Cerrada, Juan Jose Escribano |
Converting OCL and CGMES Rules to SHACL in Smart Grids. |
IEEE Access |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Dong Wang 0006, Pak Kwong Chan |
A Sub-1-V 100-mA OCL-LDO Regulator With Process-Temperature-Aware Design for Transient Sustainability. |
IEEE Trans. Very Large Scale Integr. Syst. |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Murali Mohanan |
Automated transformation of NL to OCL constraints via SBVR. |
Int. J. Adv. Intell. Paradigms |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Soumiya Ain El Hayat, Fouad Toufik, Mohamed Bahaj |
UML/OCL based design and the transition towards temporal object relational database with bitemporal data. |
J. King Saud Univ. Comput. Inf. Sci. |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Messaoud Abbas, Choukri-Bey Ben-Yelles, Renaud Rioboo |
Formalizing UML/OCL structural features with FoCaLiZe. |
Soft Comput. |
2020 |
DBLP DOI BibTeX RDF |
|
16 | A. Jalila, D. Jeya Mala |
Automated optimal test data generation for OCL specification using harmony search algorithm. |
Int. J. Bus. Intell. Data Min. |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Hao Wu 0017, Joseph Timoney |
Verifying OCL Operational Contracts via SMT-based Synthesising. |
MODELSWARD |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Antonio Vallecillo, Martin Gogolla |
Modeling Behavioral Deontic Constraints Using UML and OCL. |
ER |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Pei Hong, Chunling Sheng, Xiaohu Luo, Yueyuan Jin, Ruonan Rao |
OACV: OCL-based Avionics Component Verification. |
HP3C |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Martin Gogolla, Haleh Havakili, Carsten Schipke |
Advanced Features for Model Visualization in the UML and OCL Tool USE. |
Modellierung (Companion) |
2020 |
DBLP BibTeX RDF |
|
Displaying result #301 - #400 of 1079 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|