|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIT ![In: 10th International Conference on Information Technology, ICIT 2007, Roukela, India, 17-20 December 2007, pp. 237-239, 2007, IEEE Computer Society, 0-7695-3068-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 14th Asia-Pacific Software Engineering Conference (APSEC 2007), 5-7 December 2007, Nagoya, Japan, pp. 81-88, 2007, IEEE Computer Society, 0-7695-3057-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 10-14 July 2007, Auckland, New Zealand, pp. 56-63, 2007, IEEE Computer Society, 978-0-7695-2895-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Claudia Pons, Diego García |
Practical Verification Strategy for Refinement Conditions in UML Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP Workshop on Advanced Software Engineering ![In: IFIP 19th World Computer Congress, First International Workshop on Advanced Software Engineering, Expanding the Frontiers of Software Technology, August 25, 2006, Santiago, Chile, pp. 47-61, 2006, Springer, 978-0-387-34828-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Orest Pilskalns, Daniel Williams 0001, Damir Aracic, Anneliese Amschler Andrews |
Security Consistency in UML Designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC (1) ![In: 30th Annual International Computer Software and Applications Conference, COMPSAC 2006, Chicago, Illinois, USA, September 17-21, 2006. Volume 1, pp. 351-358, 2006, IEEE Computer Society, 0-7695-2655-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Levi Lucio, Luis Pedro, Didier Buchs |
A Methodology and a Framework for Model-Based Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RISE ![In: Rapid Integration of Software Engineering Techniques, First International Workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004, Revised Selected Papers, pp. 57-70, 2004, Springer, 3-540-25812-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SACMAT ![In: 9th ACM Symposium on Access Control Models and Technologies, SACMAT 2004, Yorktown Heights, New York, USA, June 2-4, 2004, Proceedings, pp. 115-124, 2004, ACM, 1-58113-872-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoopIS/DOA/ODBASE (1) ![In: On the Move to Meaningful Internet Systems 2004: CoopIS, DOA, and ODBASE, OTM Confederated International Conferences, Agia Napa, Cyprus, October 25-29, 2004, Proceedings, Part I, pp. 748-767, 2004, Springer, 3-540-23663-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Herman Balsters, Bert O. de Brock |
An Object-Oriented Framework for Reconciliation and Extraction in Heterogeneous Data Federations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADVIS ![In: Advances in Information Systems, Third International Conference, ADVIS 2004, Izmir, Turkey, October 20-22, 2004, Proceedings, pp. 34-47, 2004, Springer, 3-540-23478-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MDAFA ![In: Model Driven Architecture, European MDA Workshops: Foundations and Applications, MDAFA 2003 and MDAFA 2004, Twente, The Netherlands, June 26-27, 2003 and Linköping, Sweden, June 10-11, 2004, Revised Selected Papers, pp. 77-92, 2004, Springer, 3-540-28240-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Richard Widhalm, Thomas A. Mück |
Merging Topics in Well-Formed XML Topic Maps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISWC ![In: The Semantic Web - ISWC 2003, Second International Semantic Web Conference, Sanibel Island, FL, USA, October 20-23, 2003, Proceedings, pp. 64-79, 2003, Springer, 3-540-20362-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Joseph Gil, John Howse, Stuart Kent 0001 |
Constraint Diagrams: A Step Beyond UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (30) ![In: TOOLS 1999: 30th International Conference on Technology of Object-Oriented Languages and Systems, Delivering Quality Software - The Way Ahead, 1-5 August 1999, Santa Barbara, CA, USA, pp. 453-463, 1999, IEEE Computer Society, 0-7695-0278-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDMS ![In: Interactive Distributed Multimedia Systems and Telecommunication Services, 5th International Workshop, IDMS '98, Oslo, Norway, September 8-11, 1998, Proceedings, pp. 181-194, 1998, Springer, 3-540-64955-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 9(1), pp. 47-67, 2010. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER Workshops ![In: Advances in Conceptual Modeling - Challenging Perspectives, ER 2009 Workshops CoMoL, ETheCoM, FP-UML, MOST-ONISW, QoIS, RIGiM, SeCoGIS, Gramado, Brazil, November 9-12, 2009. Proceedings, pp. 254-264, 2009, Springer, 978-3-642-04946-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
jUCMNav, profile, OCL, User Requirements Notation, i*, Goal-oriented Requirement Language |
17 | Thomas Baar |
Correctly defined concrete syntax. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 7(4), pp. 383-398, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS (3) ![In: Computational Science - ICCS 2008, 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part III, pp. 301-310, 2008, Springer, 978-3-540-69388-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, 2008, pp. 827-830, 2008, ACM, 978-1-60558-079-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
A-MOST ![In: Proceedings of the 3rd Workshop on Advances in Model Based Testing, A-MOST 2007, co-located with the ISSTA 2007 International Symposium on Software Testing and Analysis, London, United Kingdom, July 9-12, pp. 95-104, 2007, ACM, 978-1-59593-850-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), Seoul, Korea, March 11-15, 2007, pp. 1037-1038, 2007, ACM, 1-59593-480-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 32(9), pp. 642-663, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006, pp. 1240-1244, 2006, ACM, 1-59593-108-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2005, October 16-20, 2005, San Diego, CA, USA, pp. 133-146, 2005, ACM, 1-59593-031-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC (1) ![In: 29th Annual International Computer Software and Applications Conference, COMPSAC 2005, Edinburgh, Scotland, UK, July 25-28, 2005. Volume 1, pp. 545-550, 2005, IEEE Computer Society, 0-7695-2413-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
OCL, Design by Contract, CCM |
17 | Miguel Goulão, Fernando Brito e Abreu |
Composition Assessment Metrics for CBSE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO-SEAA ![In: 31st EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO-SEAA 2005), 30 August - 3 September 2005, Porto, Portugal, pp. 96-105, 2005, IEEE Computer Society, 0-7695-2431-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 30(11), pp. 736-753, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hypertext ![In: HYPERTEXT 2003, Proceedings of the 14th ACM Conference on Hypertext and Hypermedia, August 26-30, 2003, Nottingham, UK, pp. 77-78, 2003, ACM, 1-58113-704-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 6th Symposium on Engineering of Computer-Based Systems (ECBS '99), 7-12 March 1999, Nashville, TN, USA. IEEE Computer Society, 1999, pp. 68-74, 1999, IEEE Computer Society, 0-7695-0028-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 17(4), pp. 423-442, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC / SIGSOFT FSE ![In: Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, ESEC/FSE 2003, Helsinki, Finland, September 1-5, 2003, pp. 38-47, 2003, ACM, 978-1-58113-743-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.03469, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
16 | Hoang Nguyen Phuoc Bao, Manuel Clavel |
Proving correctness for SQL implementations of OCL constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.18599, 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SN Comput. Sci. ![In: SN Comput. Sci. 4(2), pp. 175, March 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Artur Boronat |
Safe reuse in modelling language engineering using model subtyping with OCL constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 22(3), pp. 797-818, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.14996, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Seif Abukhalaf, Mohammad Hamdaqa, Foutse Khomh |
On Codex Prompt Engineering for OCL Generation: An Empirical Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2303.16244, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Hao Wu 0017 |
QMaxUSE: A new tool for verifying UML class diagrams and OCL invariants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 228, pp. 102955, June 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTA ![In: IEEE International Conference on Integrated Circuits, Technologies and Applications, ICTA 2023, Hefei, China, October 27-29, 2023, pp. 162-165, 2023, IEEE, 979-8-3503-4428-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Friedrich Steimann, Robert Clarisó, Martin Gogolla |
OCL Rebuilt, From the Ground Up. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MODELS ![In: 26th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2023, Västerås, Sweden, October 1-6, 2023, pp. 194-205, 2023, IEEE, 979-8-3503-2480-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMNLP ![In: Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing, EMNLP 2023, Singapore, December 6-10, 2023, pp. 10348-10361, 2023, Association for Computational Linguistics, 979-8-89176-060-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Seif Abukhalaf, Mohammad Hamdaqa, Foutse Khomh |
On Codex Prompt Engineering for OCL Generation: An Empirical Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSR ![In: 20th IEEE/ACM International Conference on Mining Software Repositories, MSR 2023, Melbourne, Australia, May 15-16, 2023, pp. 148-157, 2023, IEEE, 979-8-3503-1184-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Hao Wu 0017 |
A Query-based Approach for Verifying UML Class Diagrams with OCL Invariants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Object Technol. ![In: J. Object Technol. 21(3), pp. 3:1-17, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Robert Clarisó, Lola Burgueño, Jordi Cabot |
Managing Design-time Uncertainty in OCL Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Object Technol. ![In: J. Object Technol. 21(4), pp. 4:1-10, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MODELSWARD ![In: Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2022, Online Streaming, February 6-8, 2022., pp. 194-202, 2022, SCITEPRESS, 978-989-758-550-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS (Companion) ![In: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, MODELS 2022, Montreal, Quebec, Canada, October 23-28, 2022, pp. 899-907, 2022, ACM, 978-1-4503-9467-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Kunxiang Jin, Kevin Lano |
Design and classification of mutation operators for OCL specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS (Companion) ![In: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, MODELS 2022, Montreal, Quebec, Canada, October 23-28, 2022, pp. 852-861, 2022, ACM, 978-1-4503-9467-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Kevin Lano, Shekoufeh Kolahdouz Rahimi, Kunxiang Jin |
OCL libraries for software specification and representation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS (Companion) ![In: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, MODELS 2022, Montreal, Quebec, Canada, October 23-28, 2022, pp. 894-898, 2022, ACM, 978-1-4503-9467-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Lars Hamann, Martin Gogolla, Mustafa Al-Lail |
Categorization of approaches to extend and reuse OCL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS (Companion) ![In: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, MODELS 2022, Montreal, Quebec, Canada, October 23-28, 2022, pp. 847-851, 2022, ACM, 978-1-4503-9467-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS (Companion) ![In: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, MODELS 2022, Montreal, Quebec, Canada, October 23-28, 2022, pp. 908-912, 2022, ACM, 978-1-4503-9467-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Edward D. Willink |
Support for OCL libraries and static features. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS (Companion) ![In: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, MODELS 2022, Montreal, Quebec, Canada, October 23-28, 2022, pp. 882-888, 2022, ACM, 978-1-4503-9467-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS (Companion) ![In: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, MODELS 2022, Montreal, Quebec, Canada, October 23-28, 2022, pp. 889-893, 2022, ACM, 978-1-4503-9467-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Kunxiang Jin, Kevin Lano |
OCL-based test case prioritisation using AgileUML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS (Companion) ![In: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, MODELS 2022, Montreal, Quebec, Canada, October 23-28, 2022, pp. 607-611, 2022, ACM, 978-1-4503-9467-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Edward D. Willink |
Challenges for code generated OCL execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS (Companion) ![In: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, MODELS 2022, Montreal, Quebec, Canada, October 23-28, 2022, pp. 872-881, 2022, ACM, 978-1-4503-9467-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BPMDS/EMMSAD@CAiSE ![In: Enterprise, Business-Process and Information Systems Modeling - 23rd International Conference, BPMDS 2022 and 27th International Conference, EMMSAD 2022, Held at CAiSE 2022, Leuven, Belgium, June 6-7, 2022, Proceedings, pp. 267-275, 2022, Springer, 978-3-031-07474-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Hao Wu 0017 |
QMaxUSE: A Query-based Verification Tool for UML Class Diagrams with OCL Invariants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering - 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, pp. 310-317, 2022, Springer, 978-3-030-99428-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 20(6), pp. 1889-1918, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Data Warehous. Min. ![In: Int. J. Data Warehous. Min. 17(1), pp. 1-14, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Martin Gogolla |
Model Development in the Tool USE: Explorative, Consolidating and Analytic Steps for UML and OCL Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCIT ![In: Distributed Computing and Internet Technology - 17th International Conference, ICDCIT 2021, Bhubaneswar, India, January 7-10, 2021, Proceedings, pp. 24-43, 2021, Springer, 978-3-030-65620-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Messaoud Abbas, Fatima Haloua, Ammar Boucherit |
Development of Critical Systems with UML/OCL and FoCaLiZe. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEDI Workshops ![In: Advances in Model and Data Engineering in the Digitalization Era - MEDI 2021 International Workshops: DETECT, SIAS, CSMML, BIOC, HEDA, Tallinn, Estonia, June 21-23, 2021, Proceedings, pp. 16-30, 2021, Springer, 978-3-030-87656-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Nan Liu, Jianping Guo |
A 25nA IQ, 20mA ILOAD OCL-LDO for Battery-Powered IoT Devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTA ![In: 2021 IEEE International Conference on Integrated Circuits, Technologies and Applications, ICTA 2021, Zhuhai, China, November 24-26, 2021, pp. 187-188, 2021, IEEE, 978-1-6654-1745-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Kevin Lano, Shekoufeh Kolahdouz Rahimi |
Extending OCL with Map and Function Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSEN ![In: Fundamentals of Software Engineering - 9th International Conference, FSEN 2021, Virtual Event, May 19-21, 2021, Revised Selected Papers, pp. 108-123, 2021, Springer, 978-3-030-89246-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STAF Workshops ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: IEEE International Symposium on Circuits and Systems, ISCAS 2021, Daegu, South Korea, May 22-28, 2021, pp. 1-5, 2021, IEEE, 978-1-7281-9201-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS (Companion) ![In: ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, MODELS 2021 Companion, Fukuoka, Japan, October 10-15, 2021, pp. 212-220, 2021, IEEE, 978-1-6654-2484-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Georg Hinkel |
An NMF solution to the TTC 2021 OCL to SQL case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TTC/ ![In: TTC 2020/2021 - Joint Proceedings of the 13th and 14th Tool Transformation Contests. The TTC pandemic proceedings with CEUR-WS co-located with Software Technologies: Applications and Foundations (STAF 2021), Virtual Event, Bergen, Norway, July 17, 2020 and June 25, 2021., 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STAF Workshops ![In: 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., pp. 169-177, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STAF Workshops ![In: 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., pp. 105-114, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
16 | Felicien Ihirwe, Davide Di Ruscio, Silvia Mazzini, Alfonso Pierantonio |
Towards a Modeling and Analysis Environment for Industrial IoT systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STAF Workshops ![In: 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., pp. 90-104, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
16 | Steven Kelly 0001, Juha-Pekka Tolvanen |
Automated Annotations in Domain-Specific Models: Analysis of 23 Cases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STAF Workshops ![In: 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., pp. 77-87, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
16 | Elina Kalnina, Dmitrijs Kosarevskis, Agris Sostaks |
Find-Replace as a Service of Graph-Based DSL Tool Development Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STAF Workshops ![In: 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., pp. 65-76, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
16 | Timur Saglam, Heiko Klare |
Classifying and Avoiding Compatibility Issues in Networks of Bidirectional Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STAF Workshops ![In: 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., pp. 34-53, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
16 | Edward D. Willink |
A Validity Analysis to Reify 2-valued Boolean Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STAF Workshops ![In: 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., pp. 125-127, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
16 | Bryce Clarke |
Delta Lenses as Coalgebras for a Comonad. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STAF Workshops ![In: 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., pp. 18-27, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
16 | Kunxiang Jin, Kevin Lano |
Mutation Operators for Object Constraint Language Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STAF Workshops ![In: 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., pp. 128-134, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STAF Workshops ![In: 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., pp. 88-89, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STAF Workshops ![In: 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., pp. 149-161, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
16 | Nils Weidmann, Anthony Anjorin |
eMoflon: : Neo - Consistency and Model Management with Graph Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STAF Workshops ![In: 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., pp. 54-64, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STAF Workshops ![In: 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., pp. 178-184, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
16 | Anthony Anjorin, Hsiang-Shang Ko, Erhan Leblebici |
C-Lenses Explained: Bx Foundations for the Rest of Us. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STAF Workshops ![In: 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., pp. 1-17, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
16 | Van-Dang Tran, Hiroyuki Kato, Zhenjiang Hu |
Toward Recursive View Update Strategies on Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STAF Workshops ![In: 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., pp. 28-33, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
16 | Cinzia Bernardeschi, Andrea Domenici, Maurizio Palmieri |
A Prototyping Process for Medical Devices and Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STAF Workshops ![In: 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., pp. 115-124, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Empir. Softw. Eng. ![In: Empir. Softw. Eng. 25(2), pp. 1205-1258, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Frank Hilken, Lars Hamann |
History of the USE Tool 20 Years of UML/OCL Modeling Made in Germany. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Object Technol. ![In: J. Object Technol. 19(3), pp. 3:1-13, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Object Technol. ![In: J. Object Technol. 19(3), pp. 3:1-14, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Robert Clarisó, Carlos A. González, Jordi Cabot |
Incremental Verification of UML/OCL Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Object Technol. ![In: J. Object Technol. 19(3), pp. 3:1-16, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Christoph Bockisch, Gabriele Taentzer, Nebras Nassar, Lukas Wydra |
Java Bytecode Verification with OCL Why, How and Whenc. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Object Technol. ![In: J. Object Technol. 19(3), pp. 3:1-16, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Paula Muñoz 0001, Loli Burgueño, Victor Ortiz, Antonio Vallecillo |
Extending OCL with Subjective Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Object Technol. ![In: J. Object Technol. 19(3), pp. 3:1-15, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Ed Willink |
Reflections on OCL 2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Object Technol. ![In: J. Object Technol. 19(3), pp. 3:1-16, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Manuel F. Bertoa, Loli Burgueño, Nathalie Moreno, Antonio Vallecillo |
Incorporating measurement uncertainty into OCL/UML primitive datatypes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 19(5), pp. 1163-1189, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Jesús Sánchez Cuadrado |
A verified catalogue of OCL optimisations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 19(5), pp. 1139-1161, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 8, pp. 177255-177266, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Very Large Scale Integr. Syst. ![In: IEEE Trans. Very Large Scale Integr. Syst. 28(2), pp. 390-402, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Murali Mohanan |
Automated transformation of NL to OCL constraints via SBVR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Adv. Intell. Paradigms ![In: Int. J. Adv. Intell. Paradigms 16(3/4), pp. 229-240, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. King Saud Univ. Comput. Inf. Sci. ![In: J. King Saud Univ. Comput. Inf. Sci. 32(4), pp. 398-407, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Messaoud Abbas, Choukri-Bey Ben-Yelles, Renaud Rioboo |
Formalizing UML/OCL structural features with FoCaLiZe. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 24(6), pp. 4149-4164, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
16 | A. Jalila, D. Jeya Mala |
Automated optimal test data generation for OCL specification using harmony search algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Bus. Intell. Data Min. ![In: Int. J. Bus. Intell. Data Min. 16(2), pp. 231-259, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Hao Wu 0017, Joseph Timoney |
Verifying OCL Operational Contracts via SMT-based Synthesising. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MODELSWARD ![In: Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2020, Valletta, Malta, February 25-27, 2020., pp. 249-259, 2020, SCITEPRESS, 978-989-758-400-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Antonio Vallecillo, Martin Gogolla |
Modeling Behavioral Deontic Constraints Using UML and OCL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER ![In: Conceptual Modeling - 39th International Conference, ER 2020, Vienna, Austria, November 3-6, 2020, Proceedings, pp. 134-148, 2020, Springer, 978-3-030-62521-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Pei Hong, Chunling Sheng, Xiaohu Luo, Yueyuan Jin, Ruonan Rao |
OACV: OCL-based Avionics Component Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HP3C ![In: HP3C 2020: 4th International Conference on High Performance Compilation, Computing and Communications, Guangzhou, China, June, 2020, pp. 129-134, 2020, ACM, 978-1-4503-7691-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Martin Gogolla, Haleh Havakili, Carsten Schipke |
Advanced Features for Model Visualization in the UML and OCL Tool USE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Modellierung (Companion) ![In: Companion Proceedings of Modellierung 2020 Short, Workshop and Tools & Demo Papers co-located with Modellierung 2020, Vienna, Austria, February 19-21, 2020., pp. 203-207, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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][ >>] |
|