registrieren | anmelden | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

plbs library [31 articles]

Neue Artikel in plbs Bibliothek.
  • Marshaling and unmarshaling models using the entity-relationship model
    (2005), pp. 1553-1557.
    by Fei Cao, Barrett R Bryant, Wei Zhao, Carol C Burt, Rajeev R Raje, Andrew M Olson, Mikhail Auguston
    posted to er by plb on 2007-09-18 13:06:32 as *
  • Calculating with Concepts A Formal Conceptual Modelling Technique applied in the Field of Process Architecture
    (January 2001)
    by Remco Dijkman
    posted to cc by plb on 2007-09-18 13:06:32 as read
  • Data Transformation by Calculation
    (2007), pp. 139-198.
    by José N Oliveira
    posted to 2lt by plb on 2007-09-18 13:06:32 as read
  • Refactoring Alloy Specifications
    Brazilian Workshop on Formal Methods, No. 6. (2003), pp. 166-181.
    by Rohit Gheyi, Paulo Borba
    posted to ref by plb on 2007-09-18 13:06:32 as read
  • Refactoring Alloy Specifications
    Elsevier's Electronic Notes in Theoretical Computer Science, Vol. 95 (2004), pp. 227-243.
    by Rohit Gheyi, Paulo Borba
    posted to ref by plb on 2007-09-18 13:06:32 as read
  • Basic Laws of Object Modeling
    (May 2004)
    by Rohit Gheyi
    posted to oo by plb on 2007-09-18 13:06:32 as **
  • On the Semantics of Associations and Association Ends in UML
    (February 2006)
    by Dragan Milicev
    posted to uml by plb on 2007-09-18 13:06:32 as read
  • Catalogue of Model Transformations
    by Kevin Lano
    posted to uml by plb on 2007-09-18 13:06:32 as read
  • Extended Static Checking by Strategic Rewriting of Pointfree Relational Expressions
    (2007)
    by Claudia M Necco, José N Oliveira, Joost Visser
    posted to 2lt by plb on 2007-09-18 13:06:32 as read
  • Métodos Formais de Programa\ccão 1 (1er. Semestre)
    (2006/07)
    by José N Oliveira, LS Barbosa
    posted to - by plb on 2007-09-18 13:06:32 as read
  • Relational Arithmetic
    (February 1979)
    by Eric C Hehner, Theodore S Norvell
    posted to - by plb on 2007-09-18 13:06:32 as **
  • Formal Foundations in RSL for UML Class Diagrams
    (2002)
    by A Funes, C George
    posted to uml by plb on 2007-09-18 13:06:32 as **
  • Equational Specification of UML+OCL Static Class Diagrams
    (2006)
    by Manuel Clavel, Marina Egea
    posted to uml by plb on 2007-09-18 13:06:32 as **
  • Unified Modeling Language Specification
    (2005)
    posted to uml by plb on 2007-09-18 13:06:32 as **
  • Higher-Order Subtyping
    (1994), pp. 511-530.
    by Martin Steffen, Benjamin Pierce
    posted to - by plb on 2007-09-18 13:06:32 as **
  • Mathematics of Program Construction
    (2004)
    by Roland Backhouse
    posted to - by plb on 2007-09-18 13:06:32 as ***
  • Strongly Typed Rewriting For Coupled Software Transformation
    (2006)
    by Alcino Cunha, Joost Visser
    posted to 2lt by plb on 2007-09-18 13:06:32 as read
  • Type-safe Two-level Data Transformation
    Formal Methods (2006), pp. 284-299.
    by Alcino Cunha, José N Oliveira, Joost Visser
    posted to 2lt by plb on 2007-09-18 13:06:32 as read
  • A Theory Of Objects
    (1996)
    by Martín Abadi, Luca Cardelli
    edited by David Gries, Fred B Schneider
    posted to aor by plb on 2007-09-18 13:06:32 as read
  • A Semantics of Object Types
    (1994), pp. 332-341.
    by Martín Abadi, Luca Cardelli
    posted to oo by plb on 2007-09-18 13:06:32 as *
  • On Object Calculus with Algebraic Rewriting
    (1997), pp. 17-31.
    by Adriana B Compagnoni, Maribel Fernandez
    posted to aor by plb on 2007-09-18 13:06:32 as read
  • Haskell's overlooked object system
    (2005)
    by Oleg Kiselyov, Ralf Lämmel
    posted to ooh by plb on 2007-09-18 13:06:32 as read
  • Strongly typed heterogeneous collections
    No. SEN-E0420. (August 2004)
    by Oleg Kiselyov, Ralf Lämmel, Keean Schupke
    posted to ooh by plb on 2007-09-18 13:06:32 as **
  • OPUS: a Calculus for Modelling Object-Oriented Concepts
    (1994)
    by Tom Mens, Kim Mens, Patrick Steyaert
    posted to cc by plb on 2007-09-18 13:06:32 as **
  • Coupled Schema Transformation and Data Conversion for XML and SQL
    Practical Applications of Declarative Languages (2007)
    by Pablo Berdaguer, Alcino Cunha, Hugo Pacheco, Joost Visser
    posted to 2lt by plb on 2007-09-18 13:06:32 as read
  • Haskell++: An Object Oriented Extension of Haskell
    Department of Computer Science, Chalmers University (April 1995)
    by John Hughes, Jan Sparud
    posted to ooh by plb on 2007-09-18 13:06:31 as read
  • Tackling the Awkward Squad: monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell
    Microsoft Research Cambridge (May 2005)
    by Simon P Jones
    posted to ooh by plb on 2007-09-18 13:06:31 as *
  • Object-Oriented Style Overloading for Haskell
    Microsoft Research Cambridge (2001)
    by Mark Shields, Simon P Jones
    posted to ooh by plb on 2007-09-18 13:06:31 as read
  • Towards a Calculus of State-based Software Components
    Journal of Universal Computer Science (2003)
    by LS Barbosa
    posted to - by plb on 2007-09-18 13:06:31 as *
  • From Algebras to Objects: Generation and Composition
    Journal of Universal Computer Science (2005)
    by AM Cruz, LS Barbosa, José N Oliveira
    posted to aor by plb on 2007-09-18 13:06:31 as *
  • Calculating with concepts: a technique for the development of business process support
    (2001)
    by R Dijkman, L Pires, S Joosten
    posted to cc by plb on 2007-09-18 13:02:48 as read along with 1 person scis0000001
  • Bemerkung: Sie können diese Seite wie folgt zitieren: http://www.citeulike.org/user/plb

    RIS BibTeX RSS
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.