default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDScience of Computer Programming, Volume 65
Volume 65, Number 1, March 2007
- Jan A. Bergstra:
Letter from the editor. - Joseph Barjis, Juan Carlos Augusto, Ulrich Ultes-Nitsche
:
Towards more adequate EIS. 1-3 - Volker Gruhn, Ralf Laue:
What business process modelers can learn from programmers. 4-13 - Wing Lok Yeung, Karl R. P. H. Leung, Ji Wang, Wei Dong:
Modelling and model checking suspendible business processes via statechart diagrams and CSP. 14-29 - Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve:
LogLogics: A logic for history-dependent business processes. 30-40 - Kawtar Benghazi Akhlaki, Manuel I. Capel Tuñón, Juan Antonio Holgado Terriza, Luis E. Mendoza Morales:
A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models. 41-56 - María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Pablo Núñez, Ernesto Pimentel:
PiXL: Applying xml standards to support the integration of analysis tools for protocols. 57-69
Volume 65, Number 2, March 2007
- Dexter Kozen:
Preface. 71 - Frank Atanassow, Johan Jeuring:
Customizing an XML-Haskell data binding with type isomorphism inference in Generic Haskell. 72-107 - Jeremy Gibbons:
Metamorphisms: Streaming representation-changers. 108-139 - Clare E. Martin, Sharon A. Curtis, Ingrid Rewitzky:
Modelling angelic and demonic nondeterminism with multirelations. 140-158 - Joseph M. Morris, Malcolm Tyrrell:
Terms with unbounded demonic and angelic nondeterminacy. 159-172 - Therrezinha Fernandes, Jules Desharnais:
Describing data flow analysis techniques with Kleene algebra. 173-194 - Bernhard Möller:
Kleene getting lazy. 195-214
Volume 65, Number 3, April 2007
- René L. Krikhaar, Ivica Crnkovic:
Software Configuration Management. 215-221 - Lucian Voinea, Johan Lukkien, Alexandru C. Telea:
Visual assessment of software evolution. 222-248 - Leonardo Gresta Paulino Murta, Hamilton L. R. Oliveira, Cristine R. Dantas, Luiz Gustavo Lopes, Cláudia Maria Lima Werner:
Odyssey-SCM: An integrated software configuration management infrastructure for UML models. 249-274
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.
last updated on 2025-01-10 18:38 CET 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:
