default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
no matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 33 matches
- 2004
- H. Abie, Demissie B. Aredo, T. Kristoffersen, Shahrzade Mazaher, T. Raguin:
Integrating a Security Requirement Language with UML. UML 2004: 350-364 - José Ambrosio Toval Álvarez:
Workshops at the UML 2004 Conference. UML 2004: 440-448 - Tamarah Arons, Jozef Hooman, Hillel Kugler, Amir Pnueli, Mark van der Zwaag:
Deductive Verification of UML Models in TLPVS. UML 2004: 335-349 - Hanna Bauerdick, Martin Gogolla, Fabian Gutsche:
Detecting OCL Traps in the UML 2.0 Superstructure: An Experience Report. UML 2004: 188-196 - Andrew J. Bennett, A. J. Field, C. Murray Woodside:
Experimental Evaluation of the UML Profile for Schedulability, Performance, and Time. UML 2004: 143-157 - Jordi Cabot
, Ernest Teniente:
Determining the Structural Events That May Violate an Integrity Constraint. UML 2004: 320-334 - Olivier Caron, Bernard Carré, Alexis Muller, Gilles Vanwormhoudt:
An OCL Formulation of UML2 Template Binding. UML 2004: 27-40 - Alexandre L. Correa, Cláudia Maria Lima Werner:
Applying Refactoring Techniques to UML/OCL Models. UML 2004: 173-187 - Peter Dolog, Wolfgang Nejdl:
Using UML-based Feature Models and UML Collaboration Diagrams to Information Modelling for Web-Based Applications. UML 2004: 425-439 - Amador Durán, Beatriz Bernárdez, Marcela Genero, Mario Piattini:
Empirically Driven Use Case Metamodel Evolution. UML 2004: 1-11 - Eduardo Fernández-Medina, Mario Piattini:
Extending OCL for Secure Database Development. UML 2004: 380-394 - Stephan Flake, Wolfgang Müller:
An ASM Definition of the Dynamic OCL 2.0 Semantics. UML 2004: 226-240 - Ahmed Gaafar, Sherif Sakr:
Towards a Framework for Mapping Between UML/OCL and XML/XQuery. UML 2004: 241-259 - Geri Georg, Raghu Reddy, Robert B. France:
Specifying Cross-Cutting Requirement Concerns. UML 2004: 113-127 - Martin Giese, Rogardt Heldal:
From Informal to Formal Specifications in UML. UML 2004: 197-211 - Agustín Goñi, Yadran Eterovic:
Building Precise UML Constructs to Model Concurrency Using OCL. UML 2004: 212-225 - Vincenzo Grassi, Raffaela Mirandola, Antonino Sabetta:
A UML Profile to Model Mobile Systems. UML 2004: 128-142 - Susumu Hayashi, Pan YiBing, Masami Sato, Kenji Mori, Sul Sejeon, Shuusuke Haruna:
Test Driven Development of UML Models with SMART Modeling System. UML 2004: 395-409 - Yanbing Jiang, Weizhong Shao, Lu Zhang, Zhiyi Ma, Xiangwen Meng, Haohai Ma:
On the Classification of UML's Meta Model Extension Mechanism. UML 2004: 54-68 - Jan Jürjens, Pasha Shabalin:
Automated Verification of UMLsec Models for Security Requirements. UML 2004: 365-379 - Alexander Knapp, Nora Koch, Gefei Zhang, Hanns-Martin Hassler:
Modeling Business Processes in Web Applications with ArgoUWE. UML 2004: 69-83 - Haohai Ma, Weizhong Shao, Lu Zhang, Yanbing Jiang:
Applying OO Metrics to Assess UML Meta-models. UML 2004: 12-26 - Ezra Kaahwa Mugisa:
Tutorials at the UML 2004 Conference. UML 2004: 449-452 - Pierre-Alain Muller, Didier Bresch, Philippe Studer:
Model-Driven Architecture for Automatic-Control: An Experience Report. UML 2004: 260-274 - Dorin Bogdan Petriu, C. Murray Woodside:
A Metamodel for Generating Performance Models from UML Designs. UML 2004: 41-53 - Risto Pitkänen, Petri Selonen:
A UML Profile for Executable and Incremental Specification-Level Modeling. UML 2004: 158-172 - Iris Reinhartz-Berger, Arnon Sturm:
Behavioral Domain Analysis - The Application-Based Domain Modeling Approach. UML 2004: 410-424 - Simone Röttger, Steffen Zschaler:
Model-Driven Development for Non-functional Properties: Refinement Through Model Transformation. UML 2004: 275-289 - Dominik Stein, Stefan Hanenberg, Rainer Unland:
Query Models. UML 2004: 98-112 - Ragnhild Van Der Straeten, Viviane Jonckers, Tom Mens:
Supporting Model Refactorings Through Behaviour Inheritance Consistencies. UML 2004: 305-319
skipping 3 more matches
loading more results 
failed to load more results, please try again later
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-11-06 21:24 CET from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
