Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/uml/puml2001.bht:"
download as .bib file
@inproceedings{DBLP:conf/uml/Ambler01,
author = {Scott W. Ambler},
editor = {Andy Evans and
Robert B. France and
Ana M. D. Moreira and
Bernhard Rumpe},
title = {Agile Modeling: {A} Brief Overview},
booktitle = {Practical UML-Based Rigorous Development Methods - Countering or Integrating
the eXtremists, Workshop of the pUML-Group held together with the
{\guillemotleft}UML{\guillemotright}2001, October 1st, 2001 in Toronto,
Canada},
series = {{LNI}},
volume = {{P-7}},
pages = {7--11},
publisher = {{GI}},
year = {2001},
url = {https://dl.gi.de/handle/20.500.12116/30849},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/uml/Ambler01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uml/AokiTK01,
author = {Toshiaki Aoki and
Takaaki Tateishi and
Takuya Katayama},
editor = {Andy Evans and
Robert B. France and
Ana M. D. Moreira and
Bernhard Rumpe},
title = {An Axiomatic Formalization of {UML} Models},
booktitle = {Practical UML-Based Rigorous Development Methods - Countering or Integrating
the eXtremists, Workshop of the pUML-Group held together with the
{\guillemotleft}UML{\guillemotright}2001, October 1st, 2001 in Toronto,
Canada},
series = {{LNI}},
volume = {{P-7}},
pages = {13--28},
publisher = {{GI}},
year = {2001},
url = {https://dl.gi.de/handle/20.500.12116/30860},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/uml/AokiTK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uml/BjorklundLP01,
author = {Dag Bj{\"{o}}rklund and
Johan Lilius and
Ivan Porres},
editor = {Andy Evans and
Robert B. France and
Ana M. D. Moreira and
Bernhard Rumpe},
title = {Towards Efficient Code Synthesis from Statecharts},
booktitle = {Practical UML-Based Rigorous Development Methods - Countering or Integrating
the eXtremists, Workshop of the pUML-Group held together with the
{\guillemotleft}UML{\guillemotright}2001, October 1st, 2001 in Toronto,
Canada},
series = {{LNI}},
volume = {{P-7}},
pages = {29--41},
publisher = {{GI}},
year = {2001},
url = {https://dl.gi.de/handle/20.500.12116/30864},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/uml/BjorklundLP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uml/BogerS01,
author = {Marko Boger and
Thorsten Sturm},
editor = {Andy Evans and
Robert B. France and
Ana M. D. Moreira and
Bernhard Rumpe},
title = {Tool-support for Model-Driven Software Engineering},
booktitle = {Practical UML-Based Rigorous Development Methods - Countering or Integrating
the eXtremists, Workshop of the pUML-Group held together with the
{\guillemotleft}UML{\guillemotright}2001, October 1st, 2001 in Toronto,
Canada},
series = {{LNI}},
volume = {{P-7}},
pages = {307--318},
publisher = {{GI}},
year = {2001},
url = {https://dl.gi.de/handle/20.500.12116/30862},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/uml/BogerS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uml/BousquetMJ01,
author = {Lydie du Bousquet and
Hugues Martin and
Jean{-}Marc J{\'{e}}z{\'{e}}quel},
editor = {Andy Evans and
Robert B. France and
Ana M. D. Moreira and
Bernhard Rumpe},
title = {Conformance Testing from {UML} Specifications. Experience Report},
booktitle = {Practical UML-Based Rigorous Development Methods - Countering or Integrating
the eXtremists, Workshop of the pUML-Group held together with the
{\guillemotleft}UML{\guillemotright}2001, October 1st, 2001 in Toronto,
Canada},
series = {{LNI}},
volume = {{P-7}},
pages = {43--55},
publisher = {{GI}},
year = {2001},
url = {https://dl.gi.de/handle/20.500.12116/30865},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/uml/BousquetMJ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uml/Chiorean01,
author = {Dan Chiorean},
editor = {Andy Evans and
Robert B. France and
Ana M. D. Moreira and
Bernhard Rumpe},
title = {Using {OCL} Beyond Specifications},
booktitle = {Practical UML-Based Rigorous Development Methods - Countering or Integrating
the eXtremists, Workshop of the pUML-Group held together with the
{\guillemotleft}UML{\guillemotright}2001, October 1st, 2001 in Toronto,
Canada},
series = {{LNI}},
volume = {{P-7}},
pages = {57--68},
publisher = {{GI}},
year = {2001},
url = {https://dl.gi.de/handle/20.500.12116/30866},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/uml/Chiorean01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uml/DavidsonKPZ01,
author = {Shiri Davidson and
Mila Keren and
Sara Porat and
Gabi Zodik},
editor = {Andy Evans and
Robert B. France and
Ana M. D. Moreira and
Bernhard Rumpe},
title = {Designing Procedural 4GL Applications through {UML} Modeling},
booktitle = {Practical UML-Based Rigorous Development Methods - Countering or Integrating
the eXtremists, Workshop of the pUML-Group held together with the
{\guillemotleft}UML{\guillemotright}2001, October 1st, 2001 in Toronto,
Canada},
series = {{LNI}},
volume = {{P-7}},
pages = {69--85},
publisher = {{GI}},
year = {2001},
url = {https://dl.gi.de/handle/20.500.12116/30867},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/uml/DavidsonKPZ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uml/DijkmanPJ01,
author = {Remco M. Dijkman and
Lu{\'{\i}}s Ferreira Pires and
Stef Joosten},
editor = {Andy Evans and
Robert B. France and
Ana M. D. Moreira and
Bernhard Rumpe},
title = {Calculating with Concepts: a Technique for the Development of Business
Process Support},
booktitle = {Practical UML-Based Rigorous Development Methods - Countering or Integrating
the eXtremists, Workshop of the pUML-Group held together with the
{\guillemotleft}UML{\guillemotright}2001, October 1st, 2001 in Toronto,
Canada},
series = {{LNI}},
volume = {{P-7}},
pages = {87--98},
publisher = {{GI}},
year = {2001},
url = {https://dl.gi.de/handle/20.500.12116/30868},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/uml/DijkmanPJ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uml/DongH01,
author = {Zhijiang Dong and
Xudong He},
editor = {Andy Evans and
Robert B. France and
Ana M. D. Moreira and
Bernhard Rumpe},
title = {Integrating {UML} Statechart and Collaboration Diagrams Using Hierarchical
Predicate Transition Nets},
booktitle = {Practical UML-Based Rigorous Development Methods - Countering or Integrating
the eXtremists, Workshop of the pUML-Group held together with the
{\guillemotleft}UML{\guillemotright}2001, October 1st, 2001 in Toronto,
Canada},
series = {{LNI}},
volume = {{P-7}},
pages = {99--112},
publisher = {{GI}},
year = {2001},
url = {https://dl.gi.de/handle/20.500.12116/30869},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/uml/DongH01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uml/Favre01,
author = {Liliana Favre},
editor = {Andy Evans and
Robert B. France and
Ana M. D. Moreira and
Bernhard Rumpe},
title = {A Formal Mapping between {UML} Static Models and Algebraic Specifications},
booktitle = {Practical UML-Based Rigorous Development Methods - Countering or Integrating
the eXtremists, Workshop of the pUML-Group held together with the
{\guillemotleft}UML{\guillemotright}2001, October 1st, 2001 in Toronto,
Canada},
series = {{LNI}},
volume = {{P-7}},
pages = {113--127},
publisher = {{GI}},
year = {2001},
url = {https://dl.gi.de/handle/20.500.12116/30870},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/uml/Favre01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uml/GeorgBF01,
author = {Geri Georg and
Jores Bieman and
Robert B. France},
editor = {Andy Evans and
Robert B. France and
Ana M. D. Moreira and
Bernhard Rumpe},
title = {Using Alloy and {UML/OCL} to Specify Run-Time Configuration Management:
{A} Case Study},
booktitle = {Practical UML-Based Rigorous Development Methods - Countering or Integrating
the eXtremists, Workshop of the pUML-Group held together with the
{\guillemotleft}UML{\guillemotright}2001, October 1st, 2001 in Toronto,
Canada},
series = {{LNI}},
volume = {{P-7}},
pages = {128--141},
publisher = {{GI}},
year = {2001},
url = {https://dl.gi.de/handle/20.500.12116/30850},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/uml/GeorgBF01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uml/HausmannKS01,
author = {Jan Hendrik Hausmann and
Jochen Malte K{\"{u}}ster and
Stefan Sauer},
editor = {Andy Evans and
Robert B. France and
Ana M. D. Moreira and
Bernhard Rumpe},
title = {Identifying Semantic Dimensions of {(UML)} Sequence Diagrams},
booktitle = {Practical UML-Based Rigorous Development Methods - Countering or Integrating
the eXtremists, Workshop of the pUML-Group held together with the
{\guillemotleft}UML{\guillemotright}2001, October 1st, 2001 in Toronto,
Canada},
series = {{LNI}},
volume = {{P-7}},
pages = {142--157},
publisher = {{GI}},
year = {2001},
url = {https://dl.gi.de/handle/20.500.12116/30851},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/uml/HausmannKS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uml/HennickerK01,
author = {Rolf Hennicker and
Nora Koch},
editor = {Andy Evans and
Robert B. France and
Ana M. D. Moreira and
Bernhard Rumpe},
title = {Modeling the User Interface of Web Applications with {UML}},
booktitle = {Practical UML-Based Rigorous Development Methods - Countering or Integrating
the eXtremists, Workshop of the pUML-Group held together with the
{\guillemotleft}UML{\guillemotright}2001, October 1st, 2001 in Toronto,
Canada},
series = {{LNI}},
volume = {{P-7}},
pages = {158--172},
publisher = {{GI}},
year = {2001},
url = {https://dl.gi.de/handle/20.500.12116/30852},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/uml/HennickerK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uml/Kosiuczenko01,
author = {Piotr Kosiuczenko},
editor = {Andy Evans and
Robert B. France and
Ana M. D. Moreira and
Bernhard Rumpe},
title = {Formal Redesign of {UML} Class Diagrams},
booktitle = {Practical UML-Based Rigorous Development Methods - Countering or Integrating
the eXtremists, Workshop of the pUML-Group held together with the
{\guillemotleft}UML{\guillemotright}2001, October 1st, 2001 in Toronto,
Canada},
series = {{LNI}},
volume = {{P-7}},
pages = {174--190},
publisher = {{GI}},
year = {2001},
url = {https://dl.gi.de/handle/20.500.12116/30853},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/uml/Kosiuczenko01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uml/PaigeO01,
author = {Richard F. Paige and
Jonathan S. Ostroff},
editor = {Andy Evans and
Robert B. France and
Ana M. D. Moreira and
Bernhard Rumpe},
title = {A Proposal for a Lightweight Rigorous UML-Based Development Method
for Reliable Systems},
booktitle = {Practical UML-Based Rigorous Development Methods - Countering or Integrating
the eXtremists, Workshop of the pUML-Group held together with the
{\guillemotleft}UML{\guillemotright}2001, October 1st, 2001 in Toronto,
Canada},
series = {{LNI}},
volume = {{P-7}},
pages = {192--206},
publisher = {{GI}},
year = {2001},
url = {https://dl.gi.de/handle/20.500.12116/30854},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/uml/PaigeO01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uml/PickinJHJD01,
author = {Simon Pickin and
Claude Jard and
Thierry Heuillard and
Jean{-}Marc J{\'{e}}z{\'{e}}quel and
Philippe Desfray},
editor = {Andy Evans and
Robert B. France and
Ana M. D. Moreira and
Bernhard Rumpe},
title = {A UML-integrated Test Description Language for Component Testing},
booktitle = {Practical UML-Based Rigorous Development Methods - Countering or Integrating
the eXtremists, Workshop of the pUML-Group held together with the
{\guillemotleft}UML{\guillemotright}2001, October 1st, 2001 in Toronto,
Canada},
series = {{LNI}},
volume = {{P-7}},
pages = {208--223},
publisher = {{GI}},
year = {2001},
url = {https://dl.gi.de/handle/20.500.12116/30855},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/uml/PickinJHJD01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uml/SmithKB01,
author = {Jeffrey E. Smith and
Mieczyslaw M. Kokar and
Kenneth Baclawski},
editor = {Andy Evans and
Robert B. France and
Ana M. D. Moreira and
Bernhard Rumpe},
title = {Formal Verification of {UML} Diagrams: {A} First Step Towards Code
Generation},
booktitle = {Practical UML-Based Rigorous Development Methods - Countering or Integrating
the eXtremists, Workshop of the pUML-Group held together with the
{\guillemotleft}UML{\guillemotright}2001, October 1st, 2001 in Toronto,
Canada},
series = {{LNI}},
volume = {{P-7}},
pages = {224--240},
publisher = {{GI}},
year = {2001},
url = {https://dl.gi.de/handle/20.500.12116/30856},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/uml/SmithKB01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uml/StaunerPP01,
author = {Thomas Stauner and
Alexander Pretschner and
Istran P{\'{e}}ter},
editor = {Andy Evans and
Robert B. France and
Ana M. D. Moreira and
Bernhard Rumpe},
title = {Approaching a Discrete-Continuous {UML:} Tool Support and Formalization},
booktitle = {Practical UML-Based Rigorous Development Methods - Countering or Integrating
the eXtremists, Workshop of the pUML-Group held together with the
{\guillemotleft}UML{\guillemotright}2001, October 1st, 2001 in Toronto,
Canada},
series = {{LNI}},
volume = {{P-7}},
pages = {242--257},
publisher = {{GI}},
year = {2001},
url = {https://dl.gi.de/handle/20.500.12116/30857},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/uml/StaunerPP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uml/TraskF01,
author = {Ray Trask and
Robert B. France},
editor = {Andy Evans and
Robert B. France and
Ana M. D. Moreira and
Bernhard Rumpe},
title = {{RIGR} - {A} Repository Model Based Approach to Management},
booktitle = {Practical UML-Based Rigorous Development Methods - Countering or Integrating
the eXtremists, Workshop of the pUML-Group held together with the
{\guillemotleft}UML{\guillemotright}2001, October 1st, 2001 in Toronto,
Canada},
series = {{LNI}},
volume = {{P-7}},
pages = {258--269},
publisher = {{GI}},
year = {2001},
url = {https://dl.gi.de/handle/20.500.12116/30858},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/uml/TraskF01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uml/Williams01,
author = {Clay E. Williams},
editor = {Andy Evans and
Robert B. France and
Ana M. D. Moreira and
Bernhard Rumpe},
title = {Towards a Test-Ready Meta-model for Use Cases},
booktitle = {Practical UML-Based Rigorous Development Methods - Countering or Integrating
the eXtremists, Workshop of the pUML-Group held together with the
{\guillemotleft}UML{\guillemotright}2001, October 1st, 2001 in Toronto,
Canada},
series = {{LNI}},
volume = {{P-7}},
pages = {270--287},
publisher = {{GI}},
year = {2001},
url = {https://dl.gi.de/handle/20.500.12116/30859},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/uml/Williams01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uml/Wills01,
author = {Alan Wills},
editor = {Andy Evans and
Robert B. France and
Ana M. D. Moreira and
Bernhard Rumpe},
title = {Catalytic Modeling: {UML} meets {XP}},
booktitle = {Practical UML-Based Rigorous Development Methods - Countering or Integrating
the eXtremists, Workshop of the pUML-Group held together with the
{\guillemotleft}UML{\guillemotright}2001, October 1st, 2001 in Toronto,
Canada},
series = {{LNI}},
volume = {{P-7}},
pages = {288--306},
publisher = {{GI}},
year = {2001},
url = {https://dl.gi.de/handle/20.500.12116/30861},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/uml/Wills01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/uml/2001p,
editor = {Andy Evans and
Robert B. France and
Ana M. D. Moreira and
Bernhard Rumpe},
title = {Practical UML-Based Rigorous Development Methods - Countering or Integrating
the eXtremists, Workshop of the pUML-Group held together with the
{\guillemotleft}UML{\guillemotright}2001, October 1st, 2001 in Toronto,
Canada},
series = {{LNI}},
volume = {{P-7}},
publisher = {{GI}},
year = {2001},
url = {https://dl.gi.de/handle/20.500.12116/30848},
isbn = {3-88579-335-0},
timestamp = {Tue, 12 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/uml/2001p.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-06-11 09:43 CEST 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:
