|
|
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 |
16 | Achim D. Brucker, Burkhart Wolff |
Testing Distributed Component Based Systems Using UML/OCL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GI Jahrestagung (1) ![In: Tagungsband der GI/OCG-Jahrestagung - 31. Jahrestagung der Gesellschaft für Informatik, Wirtschaft und Wissenschaft in der Network Economy - Visionen und Wirklichkeit, Jahrestagung der Österreichischen Computer Gesellschaft 2001, INFORMATIK/OCG 2001, Vienna, Austria, September 25-28, 2001, Band 1, pp. 608-614, 2001, Konstanz UVK-Verl.-Ges.. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
16 | Chanika Hobatr, Brian A. Malloy |
Using OCL-Queries for Debugging C++. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Proceedings of the 23rd International Conference on Software Engineering, ICSE 2001, 12-19 May 2001, Toronto, Ontario, Canada, pp. 839-840, 2001, IEEE Computer Society, 0-7695-1050-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Thomas Baar, Reiner Hähnle, Theo Sattler, Peter H. Schmitt |
Entwurfgesteuerte Erzeugung von OCL-Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softwaretechnik-Trends ![In: Softwaretechnik-Trends 20(3), 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
16 | Paolo Bottoni, Manuel Koch, Francesco Parisi-Presicce, Gabriele Taentzer |
Consistency Checking and Visualization of OCL Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UML ![In: «UML» 2000 - The Unified Modeling Language, Advancing the Standard, Third International Conference, York, UK, October 2-6, 2000, Proceedings, pp. 294-308, 2000, Springer. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
16 | Miro Casanova, Thomas Wallet, Maja D'Hondt |
Adaptations to OCL for ensuring quality of geographic data (poster session). ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Addendum ![In: Addendum to the 2000 Proceedings of the Conference on Object-Oriented Programming Systems, Languages and Applications, OOPSLA 2000, Minneapolis, MN, USA, October 15-19, 2000, pp. 69-70, 2000, ACM, 1-58113-307-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
16 | David J. Murray, Dale E. Parson |
Automated Debugging in Java Using OCL and JDI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Proceedings of the Fourth International Workshop on Automated Debugging, AADEBUG 2000, Munich, Germany, August 28-30th, 2000, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
16 | Ron M. Simpson, Thomas Leo McCluskey, Donghong Liu |
OCL-Graph: Exploiting Object Structure in a Plan Graph Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PuK ![In: Proceedings of the 14th Workshop `New Results in Planning, Scheduling and Design` (PuK2000), Berlin, 21-22 August 2000, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
16 | José Miguel Cañete Valdeón, Francisco José Galán Morillo, Miguel Toro |
Primeros Pasos hacia un Compilador de UML/OCL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JISBD ![In: V Jornadas Ingeniería de Software y Bases de Datos (JISBD 2000), 8, 9 y 10 de noviembre, Valladolid, pp. 27-32, 2000, Universidad de Valladolid, Departamento de Informática, 84-8448-065-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
16 | Thomas Baar, Reiner Hähnle, Theo Sattler, Peter H. Schmitt |
Entwurfsmustergesteuerte Erzeugung von OCL-Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GI Jahrestagung ![In: Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung der Gesellschaft für Informatik Berlin, 19.-22. September 2000., pp. 389-404, 2000, Springer, 978-3-540-67880-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Anneke Kleppe, Jos Warmer |
An Introduction to the Object Constraint Language (OCL). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (33) ![In: TOOLS 2000: 33rd International Conference on Technology of Object-Oriented Languages and Systems, 5-8 June 2000, St. Malo, France, pp. 456, 2000, IEEE Computer Society, 0-7695-0731-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Mandana Vaziri, Daniel Jackson 0001 |
Some Shortcomings of OCL, the Object Constraint Language of UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (34) ![In: TOOLS 2000: 34th International Conference on Technology of Object-Oriented Languages and Systems, 30 July - 3 August 2000, Santa Barbara, CA, USA, pp. 555-562, 2000, IEEE Computer Society, 0-7695-0774-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Françoise Tort, Michel Bidoit, Rolf Hennicker, Martin Wirsing |
Correct Realization of Interface Constraints with OCL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UML ![In: «UML»'99: The Unified Modeling Language - Beyond the Standard, Second International Conference, Fort Collins, CO, USA, October 28-30, 1999, Proceedings, pp. 399-415, 1999, Springer. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Mark Richters, Martin Gogolla |
A Metamodel for OCL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UML ![In: «UML»'99: The Unified Modeling Language - Beyond the Standard, Second International Conference, Fort Collins, CO, USA, October 28-30, 1999, Proceedings, pp. 156-171, 1999, Springer. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Birgit Demuth, Heinrich Hußmann |
Using UML/OCL Constraints for Relational Database Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UML ![In: «UML»'99: The Unified Modeling Language - Beyond the Standard, Second International Conference, Fort Collins, CO, USA, October 28-30, 1999, Proceedings, pp. 598-613, 1999, Springer. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Steve Cook, Anneke Kleppe, Richard Mitchell, Jos Warmer, Alan Cameron Wills |
Defining the Context of OCL Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UML ![In: «UML»'99: The Unified Modeling Language - Beyond the Standard, Second International Conference, Fort Collins, CO, USA, October 28-30, 1999, Proceedings, pp. 372-383, 1999, Springer. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Ian Oliver |
'Executing' the OCL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP Workshop for PhD Students in OO Systems ![In: Proceedings of the ECOOP'99 Workshop for PhD Students in OO Systems (PhDOOS '99), Lisbon, Portugal, June 1999, pp. 175, 1999, 90-386-1471-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
16 | Mark Richters, Martin Gogolla |
On Formalizing the UML Object Constraint Language OCL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER ![In: Conceptual Modeling - ER '98, 17th International Conference on Conceptual Modeling, Singapore, November 16-19, 1998, Proceedings, pp. 449-464, 1998, Springer, 3-540-65189-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Richard Mitchell |
Analysis by Contract: An Introduction to UML's Object Constraint Language (OCL). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (26) ![In: TOOLS 1998: 26th International Conference on Technology of Object-Oriented Languages and Systems, 3-7 August 1998, Santa Barbara, CA, USA, pp. 448-, 1998, IEEE Computer Society, 0-8186-8482-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
10 | Kyriakos Anastasakis, Behzad Bordbar, Geri Georg, Indrakshi Ray |
On challenges of model transformation from UML to Alloy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 9(1), pp. 69-86, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
10 | Chih-Hung Chang, Chih-Wei Lu, Nien-Lin Hsueh, William C. Chu, Chihhsiong Shih, Chao-Tung Yang, Pao-Ann Hsiung, Chorng-Shiuh Koong |
SysML-based requirement modeling environment for multicore embedded system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, 2010, pp. 2224-2228, 2010, ACM, 978-1-60558-639-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
requirement engineering, requirement modeling, model-driven, SysML |
10 | Stéphane Ducasse, Tudor Gîrba, Adrian Kuhn, Lukas Renggli |
Meta-environment and executable meta-language using smalltalk: an experience report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 8(1), pp. 5-19, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Meta behavior description, Reflective language, Executable modeling language, Smalltalk |
10 | Achim D. Brucker, Burkhart Wolff |
Semantics, calculi, and analysis for object-oriented specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 46(4), pp. 255-284, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra |
A semantic framework for metamodel-based languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. Softw. Eng. ![In: Autom. Softw. Eng. 16(3-4), pp. 415-454, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Semantic (meta-)hooking, Weaving behaviour, Formal methods, Metamodelling, Model driven engineering, Abstract state machines, Model-based development, Language semantics |
10 | Andrey Berlizev, Nicolas Guelfi |
Fault Tolerance Requirements Analysis Using Deviations in the CORRECT Development Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Methods, Models and Tools for Fault Tolerance ![In: Methods, Models and Tools for Fault Tolerance, pp. 275-296, 2009, Springer, 978-3-642-00866-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
fault-tolerant systems development, Semi-formal methodology, UML, MDE, integrated approaches, deviations |
10 | Çagdas Cirit, Feza Buzluca |
A UML profile for role-based access control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIN ![In: Proceedings of the 2nd International Conference on Security of Information and Networks, SIN 2009, Gazimagusa, North Cyprus, October 6-10, 2009, pp. 83-92, 2009, ACM, 978-1-60558-412-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
tagged value, role-based access control, model driven architecture, object constraint language, unified modeling language profile, model validation, stereotype, security engineering |
10 | Rémi Bastide |
An Integration of Task and Use-Case Meta-models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (1) ![In: Human-Computer Interaction. New Trends, 13th International Conference, HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings, Part I, pp. 579-586, 2009, Springer, 978-3-642-02573-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Eunjee Song, Hanil Kim, Wuliang Sun |
A property-based verification approach in aspect-oriented modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), Honolulu, Hawaii, USA, March 9-12, 2009, pp. 545-546, 2009, ACM, 978-1-60558-166-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Michaela Huhn, Axel Zechner |
Analysing Dependability Case Arguments Using Quality Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security, 28th International Conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009. Proceedings, pp. 118-131, 2009, Springer, 978-3-642-04467-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Safety Case, Dependability Case, Argument Assessment, Quality models, Model-based development, Argument structures |
10 | Octavio Glorio, Juan Trujillo 0001 |
Designing Data Warehouses for Geographic OLAP Querying by Using MDA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (1) ![In: Computational Science and Its Applications - ICCSA 2009, International Conference, Seoul, Korea, June 29-July 2, 2009, Proceedings, Part I, pp. 505-519, 2009, Springer, 978-3-642-02453-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Spatial data warehousing, GIS-OLAP, MDA |
10 | Lijun Yu, Robert B. France, Indrakshi Ray, Sudipto Ghosh |
A Rigorous Approach to Uncovering Security Policy Violations in UML Designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 14th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2009, Potsdam, Germany, 2-4 June 2009, pp. 126-135, 2009, IEEE Computer Society, 978-0-7695-3702-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Marie-Noëlle Terrasse, Marinette Savonnet, Éric Leclercq, Pierre Naubourg, Valery Lopes, Arnaud da Costa, Thierry Grison |
Constraint Management in Engineering of Complex Information Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 14th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2009, Potsdam, Germany, 2-4 June 2009, pp. 317-322, 2009, IEEE Computer Society, 978-0-7695-3702-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Liliana Favre |
A Formal Foundation for Metamodeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe 2009, 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings, pp. 177-191, 2009, Springer, 978-3-642-01923-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Meta Object Facility (MOF), Formal specification, Model Driven Architecture (MDA), Transformation (QVT), Metamodeling, Query, View |
10 | Dolors Costal, Cristina Gómez 0001, Anna Queralt, Ruth Raventós, Ernest Teniente |
Improving the definition of general constraints in UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 7(4), pp. 469-486, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Conceptual modeling, Integrity constraints, UML profile |
10 | Jantien E. Stoter, Javier M. Morales, Rob L. G. Lemmens, B. M. Meijers, Peter J. M. van Oosterom, Wilko Quak, Harry Uitermark, Linda van den Brink |
A Data Model for Multi-scale Topographical Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SDH ![In: Headway in Spatial Data Handling, 13th International Symposium on Spatial Data Handling, Montpellier, France, 23-25 July 2008, pp. 233-254, 2008, Springer, 978-3-540-68565-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
knowledge formalisation, generalisation, multi-scale, spatial data modelling |
10 | Jesús Pardillo, Jose-Norberto Mazón, Juan Trujillo 0001 |
Bridging the semantic gap in OLAP models: platform-independent queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DOLAP ![In: DOLAP 2008, ACM 11th International Workshop on Data Warehousing and OLAP, Napa Valley, California, USA, October 30, 2008, Proceedings, pp. 89-96, 2008, ACM, 978-1-60558-250-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
conceptual modelling, MDA, data warehouse, OLAP |
10 | María Victoria Cengarle, Alexander Knapp, Andrzej Tarlecki, Martin Wirsing |
A Heterogeneous Approach to UML Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency, Graphs and Models ![In: Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday, pp. 383-402, 2008, Springer, 978-3-540-68676-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Jacqueline A. McQuillan, James F. Power |
A Metamodel for the Measurement of Object-Oriented Systems: An Analysis using Alloy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: First International Conference on Software Testing, Verification, and Validation, ICST 2008, Lillehammer, Norway, April 9-11, 2008, pp. 288-297, 2008, IEEE Computer Society, 978-0-7695-3127-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
metamodels, Alloy, object-oriented metrics, model testing |
10 | Terry A. Halpin |
ORM 2008 PC Co-chairs' Message. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Workshops ![In: On the Move to Meaningful Internet Systems: OTM 2008 Workshops, OTM Confederated International Workshops and Posters, ADI, AWeSoMe, COMBEK, EI2N, IWSSA, MONET, OnToContent + QSI, ORM, PerSys, RDDS, SEMELS, and SWWS 2008, Monterrey, Mexico, November 9-14, 2008. Proceedings, pp. 667, 2008, Springer, 978-3-540-88874-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Jing Luo, Ying Li 0012, Jie Qiu 0001, Ying Chen 0004 |
Declarative Constraint Framework for SOA Deployment and Configuration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWS ![In: 2008 IEEE International Conference on Web Services (ICWS 2008), September 23-26, 2008, Beijing, China, pp. 637-644, 2008, IEEE Computer Society, 978-0-7695-3310-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Massimo Ferraguto, Tim Wittrock, Mark Barrenscheen, Matti Paakko, Ville Sipinen |
The On-Board Control Procedures Subsystem for the Herschel and Planck Satellites. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008, 28 July - 1 August 2008, Turku, Finland, pp. 1366-1371, 2008, IEEE Computer Society, 978-0-7695-3262-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
On-Board Control Procedures OBCP Herschel Planck |
10 | Xavier Franch, Gemma Grau |
Towards a Catalogue of Patterns for Defining Metrics over i*Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE ![In: Advanced Information Systems Engineering, 20th International Conference, CAiSE 2008, Montpellier, France, June 16-20, 2008, Proceedings, pp. 197-212, 2008, Springer, 978-3-540-69533-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Anna Queralt, Ernest Teniente |
Decidable Reasoning in UML Schemas with Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE ![In: Advanced Information Systems Engineering, 20th International Conference, CAiSE 2008, Montpellier, France, June 16-20, 2008, Proceedings, pp. 281-295, 2008, Springer, 978-3-540-69533-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Conceptual modeling, Reasoning, Decidability |
10 | Jordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara |
An Invariant-Based Method for the Analysis of Declarative Model-to-Model Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems, 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings, pp. 37-52, 2008, Springer, 978-3-540-87874-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Pedro Nogueira Ramos |
Contrary-to-Duties Constraints: From UML to Relational Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems, 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings, pp. 460-474, 2008, Springer, 978-3-540-87874-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Contrary-To-Duties, Deontic Constraints, UML, Relational Model |
10 | Denis Hatebur, Maritta Heisel, Holger Schmidt 0001 |
A Formal Metamodel for Problem Frames. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems, 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings, pp. 68-82, 2008, Springer, 978-3-540-87874-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Márcia Lucena, Emanuel Santos, Carla T. L. L. Silva, Fernanda M. R. Alencar, Maria Jocelia Silva, Jaelson Castro |
Towards a unified metamodel for i. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RCIS ![In: Proceedings of the IEEE International Conference on Research Challenges in Information Science, RCIS 2008, Marrakech, Morocco, June 3-6, 2008, pp. 237-246, 2008, IEEE, 978-1-4244-1677-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Vincent Pretre, Fabrice Bouquet, Christophe Lang |
Automating UML models merge for web services testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
iiWAS ![In: iiWAS'2008 - The Tenth International Conference on Information Integration and Web-based Applications Services, 24-26 November 2008, Linz, Austria, pp. 55-62, 2008, ACM, 978-1-60558-349-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
web services, UML, model based testing |
10 | Daniel A. Sadilek, Stephan Weißleder |
Testing Metamodels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECMDA-FA ![In: Model Driven Architecture - Foundations and Applications, 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings, pp. 294-309, 2008, Springer, 978-3-540-69095-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
10 | François Lagarde, Huáscar Espinoza, François Terrier, Charles André, Sébastien Gérard |
Leveraging Patterns on Domain Models to Improve UML Profile Definition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings, pp. 116-130, 2008, Springer, 978-3-540-78742-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Uwe Zdun, Carsten Hentrich, Schahram Dustdar |
Modeling process-driven and service-oriented architectures using patterns and pattern primitives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Web ![In: ACM Trans. Web 1(3), pp. 14, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Service-oriented architecture, middleware, software patterns |
10 | James P. Davis, Ronald D. Bonnell |
Propositional Logic Constraint Patterns and Their Use in UML-Based Conceptual Modeling and Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 19(3), pp. 427-440, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Unified Modeling Language, constraints, Conceptual modeling, knowledge engineering, agent-oriented software engineering, object-oriented analysis, Boolean logic |
10 | Colin Atkinson 0001, Philipp Bostan, Daniel Brenner, Giovanni Falcone, Matthias Gutheil, Oliver Hummel, Monika Juhasz, Dietmar Stoll |
Modeling Components and Component-Based Systems in KobrA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoCoME ![In: The Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, August 1-3, 2007], pp. 54-84, 2007, Springer, 978-3-540-85288-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Fatemeh Alavizadeh, Alireza Hashemi Nekoo, Marjan Sirjani |
ReUML: a UML Profile for Modeling and Verification of Reactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSEA ![In: Proceedings of the Second International Conference on Software Engineering Advances (ICSEA 2007), August 25-31, 2007, Cap Esterel, French Riviera, France, pp. 50, 2007, IEEE Computer Society, 0-7695-2937-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Peter H. Hughes, Jakob Sverre Lovstad |
A generic model for quantifiable software deployment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSEA ![In: Proceedings of the Second International Conference on Software Engineering Advances (ICSEA 2007), August 25-31, 2007, Cap Esterel, French Riviera, France, pp. 22, 2007, IEEE Computer Society, 0-7695-2937-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Sapna P. G., Hrushikesha Mohanty |
Ensuring Consistency in Relational Repository of UML Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIT ![In: 10th International Conference on Information Technology, ICIT 2007, Roukela, India, 17-20 December 2007, pp. 217-222, 2007, IEEE Computer Society, 0-7695-3068-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
10 | António Miguel Rosado da Cruz, João Pascoal Faria |
Automatic Generation of User Interfaces from Domain and Use Case Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QUATIC ![In: Quality of Information and Communications Technology, 6th International Conference on the Quality of Information and Communications Technology, QUATIC 2007, Lisbon, Portugal, September 12-14, 2007, Proceedings, pp. 208-212, 2007, IEEE Computer Society, 0-7695-2948-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Francisco J. Duarte, Ricardo Jorge Machado 0001, João M. Fernandes |
Automated Information Systems Generation for Process-Oriented Organizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QUATIC ![In: Quality of Information and Communications Technology, 6th International Conference on the Quality of Information and Communications Technology, QUATIC 2007, Lisbon, Portugal, September 12-14, 2007, Proceedings, pp. 223-228, 2007, IEEE Computer Society, 0-7695-2948-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Andrzej Bialas |
Semiformal Approach to the IT Security Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DepCoS-RELCOMEX ![In: 2007 International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 2007), June 14-16, 2007, Szklarska Poreba, Poland, pp. 3-10, 2007, IEEE Computer Society, 0-7695-2850-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Carlos Mario Zapata Jaramillo, Guillermo González-Calderon, Alexander F. Gelbukh |
A Rule-Based System for Assessing Consistency Between UML Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICAI ![In: MICAI 2007: Advances in Artificial Intelligence, 6th Mexican International Conference on Artificial Intelligence, Aguascalientes, Mexico, November 4-10, 2007, Proceedings, pp. 215-224, 2007, Springer, 978-3-540-76630-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Terry A. Halpin, Sjir Nijssen, Robert Meersman |
ORM 2007 PC Co-chairs' Message. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Workshops (1) ![In: On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops, OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, OTM Academy Doctoral Consortium, MONET, OnToContent, ORM, PerSys, PPN, RDDS, SSWS, and SWWS 2007, Vilamoura, Portugal, November 25-30, 2007, Proceedings, Part I, pp. 579-580, 2007, Springer, 978-3-540-76887-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Nicolas Guelfi, Gilles Perrouin |
A Flexible Requirements Analysis Approach for Software Product Lines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REFSQ ![In: Requirements Engineering: Foundation for Software Quality, 13th International Working Conference, REFSQ 2007, Trondheim, Norway, June 11-12, 2007, Proceedings, pp. 78-92, 2007, Springer, 978-3-540-73030-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
10 | John Fox 0001, Robert Dunlop |
Careflow: Theory and Practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Business Process Management Workshops ![In: Business Process Management Workshops, BPM 2007 International Workshops, BPI, BPD, CBP, ProHealth, RefMod, semantics4ws, Brisbane, Australia, September 24, 2007, Revised Selected Papers, pp. 321, 2007, Springer, 978-3-540-78237-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Rajesh K. Thiagarajan, Markus Stumptner |
Service Composition with Consistency-Based Matchmaking: A CSP-Based Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOWS ![In: Fifth IEEE European Conference on Web Services (ECOWS 2007), 26-28 November 2007, Halle (Saale), Germany, pp. 23-32, 2007, IEEE Computer Society, 0-7695-3044-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Patrícia D. L. Machado, Jorge C. A. de Figueiredo, Emerson F. A. Lima, Ana E. V. Barbosa, Helton S. Lima |
Component-based integration testing from UML interaction diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC ![In: Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Montréal, Canada, 7-10 October 2007, pp. 2679-2686, 2007, IEEE, 978-1-4244-0990-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Grzegorz Falda, Piotr Habela, Krzysztof Kaczmarski, Krzysztof Stencel, Kazimierz Subieta |
Platform-Independent Programming of Data-Intensive Applications Using UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CEE-SET ![In: Balancing Agility and Formalism in Software Engineering, Second IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007, Poznan, Poland, October 10-12, 2007, Revised Selected Papers, pp. 103-115, 2007, Springer, 978-3-540-85278-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
UML, MDA, query language, database applications, executable modelling, action language |
10 | Kyriakos Anastasakis, Behzad Bordbar, Geri Georg, Indrakshi Ray |
UML2Alloy: A Challenging Model Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems, 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007, Proceedings, pp. 436-450, 2007, Springer, 978-3-540-75208-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Stephan Weißleder, Bernd-Holger Schlingloff |
Deriving Input Partitions from UML Models for Automatic Test Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS (Workshops) ![In: Models in Software Engineering, Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers, pp. 151-163, 2007, Springer, 978-3-540-69069-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Adrian Giurca, Gerd Wagner 0001 |
Rule Modeling and Interchange. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: Proceedings of the Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2007, Timisoara, Romania, September 26-29, 2007, pp. 485-491, 2007, IEEE Computer Society, 978-0-7695-3078-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Patricia Dockhorn Costa, João Paulo A. Almeida, Luís Ferreira Pires, Marten van Sinderen |
Situation Specification and Realization in Rule-Based Context-Aware Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAIS ![In: Distributed Applications and Interoperable Systems, 7th IFIP WG 6.1 International Conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings, pp. 32-47, 2007, Springer, 978-3-540-72881-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Mauro Ferrari 0002, Camillo Fiorentini, Alberto Momigliano, Mario Ornaghi |
Snapshot Generation in a Constructive Object-Oriented Modeling Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic-Based Program Synthesis and Transformation, 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers, pp. 169-184, 2007, Springer, 978-3-540-78768-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Khanh Hoa Dam, Michael Winikoff |
Generation of Repair Plans for Change Propagation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AOSE ![In: Agent-Oriented Software Engineering VIII, 8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected Papers, pp. 132-146, 2007, Springer, 978-3-540-79487-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Markus Scheidgen, Joachim Fischer |
Human Comprehensible and Machine Processable Specifications of Operational Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECMDA-FA ![In: Model Driven Architecture - Foundations and Applications, 3rd European Conference, ECMDA-FA 2007, Haifa, Israel, June 11-15, 2007, Proccedings, pp. 157-171, 2007, Springer, 978-3-540-72900-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
10 | François Lagarde, François Terrier, Charles André, Sébastien Gérard |
Constraints Modeling for (Profiled) UML Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECMDA-FA ![In: Model Driven Architecture - Foundations and Applications, 3rd European Conference, ECMDA-FA 2007, Haifa, Israel, June 11-15, 2007, Proccedings, pp. 130-143, 2007, Springer, 978-3-540-72900-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Jildou Louwsma, Sisi Zlatanova, Ron van Lammeren, Peter van Oosterom |
Specifying and Implementing Constraints in GIS - with Examples from a Geo-Virtual Reality System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GeoInformatica ![In: GeoInformatica 10(4), pp. 531-550, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
object constraints, GeoVR, virtual reality, unified modelling language, GIS, object constraint language, 3D objects |
10 | Susanne Graf, Ileana Ober, Iulian Ober |
A real-time profile for UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 8(2), pp. 113-127, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Real-time profile, Modeling, Real-time systems, UML, Formal verification, Timing analysis, OMEGA, Timing properties |
10 | Khanh Hoa Dam, Michael Winikoff, Lin Padgham |
An agent-oriented approach to change propagation in software evolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASWEC ![In: 17th Australian Software Engineering Conference (ASWEC 2006), 18-21 April 2006, Sydney, Australia, pp. 309-318, 2006, IEEE Computer Society, 0-7695-2551-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Johannes Maria Zaha, Antonia Albani |
Compatibility Test for Coordination Aspects of Software Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASWEC ![In: 17th Australian Software Engineering Conference (ASWEC 2006), 18-21 April 2006, Sydney, Australia, pp. 41-48, 2006, IEEE Computer Society, 0-7695-2551-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Felix Bübl |
Keeping track of crosscutting requirements in UML models via context-based constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2006, October 22-26, 2006, Portland, Oregon, USA, pp. 530-541, 2006, ACM, 1-59593-491-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
modelling, UML, constraints, AOP, requirements engineering, AOSD |
10 | Mohamed El-Attar 0001, James Miller 0001 |
Matching Antipatterns to Improve the Quality of Use Case Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE ![In: 14th IEEE International Conference on Requirements Engineering (RE 2006), 11-15 September 2006, Minneapolis/St.Paul, Minnesota, USA, pp. 96-105, 2006, IEEE Computer Society, 0-7695-2555-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Muhammad Alam, Ruth Breu, Michael Hafner |
Modeling permissions in a (U/X)ML world. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARES ![In: Proceedings of the The First International Conference on Availability, Reliability and Security, ARES 2006, The International Dependability Conference - Bridging Theory and Practice, April 20-22 2006, Vienna University of Technology, Austria, pp. 685-692, 2006, IEEE Computer Society, 0-7695-2567-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Terry A. Halpin, Robert Meersman |
ORM 2006 PC Co-chairs' Message. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Workshops (2) ![In: On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops, OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, COMINF, IS, KSinBIT, MIOS-CIAO, MONET, OnToContent, ORM, PerSys, OTM Academy Doctoral Consortium, RDDS, SWWS, and SeBGIS 2006, Montpellier, France, October 29 - November 3, 2006. Proceedings, Part II, pp. 1117, 2006, Springer, 3-540-48273-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Constantin Werner, Sebastian Kraatz, Dieter Hogrefe |
A UML Profile for Communicating Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAM ![In: System Analysis and Modeling: Language Profiles, 5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers, pp. 1-18, 2006, Springer, 3-540-68371-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Elyes Lehtihet, John Strassner, Nazim Agoulmine, Mícheál Ó Foghlú |
Ontology-Based Knowledge Representation for Self-governing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSOM ![In: Large Scale Management of Distributed Systems, 17th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2006, Dublin, Ireland, October 23-25, 2006, Proceedings, pp. 74-85, 2006, Springer, 3-540-47659-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Djamel Berrabah |
Towards the Completion of Expressing and Checking Inheritance Constraints in UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BNCOD ![In: Flexible and Efficient Information Handling, 23rd British National Conference on Databases, BNCOD 23, Belfast, Northern Ireland, UK, July 18-20, 2006, Proceedings, pp. 286-290, 2006, Springer, 3-540-35969-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Stefan Föll, Jens Pontow, David Linner, Ilja Radusch |
Classifying Multimedia Resources Using Social Relationships. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISM ![In: Eigth IEEE International Symposium on Multimedia (ISM 2006), 11-13 December 2006, San Diego, CA, USA, pp. 690-695, 2006, IEEE Computer Society, 0-7695-2746-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Sandeep Neema, Sushil Birla, Shige Wang, Tripti Saxena |
Addressing Cross-Tool Semantic Ambiguities in Behavior Modeling for Vehicle Motion Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASWSD ![In: Model-Driven Development of Reliable Automotive Services, Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers, pp. 15-33, 2006, Springer, 978-3-540-70929-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Kwang Ik Seo, Eun Man Choi |
Comparison of Five Black-box Testing Methods for Object-Oriented Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SERA ![In: Fourth International Conference on Software Engineering, Research, Management and Applications (SERA 2006), 9-11 August 2006, Seattle, Washington, USA, pp. 213-220, 2006, IEEE Computer Society, 0-7695-2656-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Comparison of testing methods, Performance of testing methods, Specification-based test, Black-box test |
10 | Carsten Amelunxen, Alexander Königs, Tobias Rötschke |
MOSL: Composing a Visual Language for a Metamodeling Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VL/HCC ![In: 2006 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2006), 4-8 September 2006, Brighton, UK, pp. 81-84, 2006, IEEE Computer Society, 0-7695-2586-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Dolors Costal, Cristina Gómez 0001, Anna Queralt, Ruth Raventós, Ernest Teniente |
Facilitating the Definition of General Constraints in UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems, 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings, pp. 260-274, 2006, Springer, 3-540-45772-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Jean Bézivin, Fabian Büttner, Martin Gogolla, Frédéric Jouault, Ivan Kurtev, Arne Lindow |
Model Transformations? Transformation Models! ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems, 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings, pp. 440-453, 2006, Springer, 3-540-45772-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Stéphane Ducasse, Tudor Gîrba |
Using Smalltalk as a Reflective Executable Meta-language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems, 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings, pp. 604-618, 2006, Springer, 3-540-45772-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
meta behavior description, reflective language, Smalltalk |
10 | Jin Hyuk Yang, In-Jeong Chung |
Automatic Generation of Service Ontology from UML Diagrams for Semantic Web Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASWC ![In: The Semantic Web - ASWC 2006, First Asian Semantic Web Conference, Beijing, China, September 3-7, 2006, Proceedings, pp. 523-529, 2006, Springer, 3-540-38329-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
state-chart and UML, Ontology, Semantic Web, OWL-S |
10 | Jin Song Dong |
From semantic web to expressive software specifications: a modeling languages spectrum. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 28th International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 20-28, 2006, pp. 1063-1064, 2006, ACM, 1-59593-375-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Aneta Poniszewska-Maranda |
Security Constraints in Access Control of Information System Using UML Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WETICE ![In: 15th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE 2006), 26-28 June 2006, Manchester, United Kingdom, pp. 332-337, 2006, IEEE Computer Society, 0-7695-2623-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Muhammad Alam, Michael Hafner, Ruth Breu |
A constraint based role based access control in the SECTET a model-driven approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PST ![In: Proceedings of the 2006 International Conference on Privacy, Security and Trust: Bridge the Gap Between PST Technologies and Business Services, PST 2006, Markham, Ontario, Canada, October 30 - November 1, 2006, pp. 13, 2006, ACM. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
service oriented architectures, role based access control, model-driven architecture, model-driven security |
10 | Orest Pilskalns, Gunay Uyan, Anneliese Amschler Andrews |
Regression Testing UML Designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 22nd IEEE International Conference on Software Maintenance (ICSM 2006), 24-27 September 2006, Philadelphia, Pennsylvania, USA, pp. 254-264, 2006, IEEE Computer Society, 0-7695-2354-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Lionel C. Briand, Yvan Labiche, Alexandre Sauve |
Guiding the Application of Design Patterns Based on UML Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 22nd IEEE International Conference on Software Maintenance (ICSM 2006), 24-27 September 2006, Philadelphia, Pennsylvania, USA, pp. 234-243, 2006, IEEE Computer Society, 0-7695-2354-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Jorge Enrique Pérez-Martínez, Almudena Sierra-Alonso |
From Analysis Model to Software Architecture: A PIM2PIM Mapping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECMDA-FA ![In: Model Driven Architecture - Foundations and Applications, 2nd European Conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13, 2006, Proceedings, pp. 25-39, 2006, Springer, 3-540-35909-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack |
The Epsilon Object Language (EOL). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECMDA-FA ![In: Model Driven Architecture - Foundations and Applications, 2nd European Conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13, 2006, Proceedings, pp. 128-142, 2006, Springer, 3-540-35909-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Martin Mutz |
Metriken und Regeln für eine zustandsbasierte SW-Entwicklung im Automobilbereich. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inform. Forsch. Entwickl. ![In: Inform. Forsch. Entwickl. 19(4), pp. 206-212, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Modelling guidelines, Rule checker, UML, Software metrics, Statecharts, Automotive |
Displaying result #901 - #1000 of 1079 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|