• English
    • Norsk
  • English 
    • English
    • Norsk
  • Administration
Search 
  •   Home
  • Det matematisk-naturvitenskapelige fakultet
  • Institutt for informatikk
  • Institutt for informatikk
  • Search
  •   Home
  • Det matematisk-naturvitenskapelige fakultet
  • Institutt for informatikk
  • Institutt for informatikk
  • Search
JavaScript is disabled for your browser. Some features of this site may not work without it.

Search

Show Advanced FiltersHide Advanced Filters

Filters

Use filters to refine the search results.

Now showing items 1-5 of 5

  • Sort Options:
  • Relevance
  • Title Asc
  • Title Desc
  • Issue Date Asc
  • Issue Date Desc
  • Results Per Page:
  • 5
  • 10
  • 20
  • 40
  • 60
  • 80
  • 100
Relaxing goodness is still good for SPDIs 
Pace, Gordon J.; Schneider, Gerardo (Research report / Forskningsrapport, 2008)
Polygonal hybrid systems (SPDIs) are planar hybrid systems, whose dynamics are defined in terms of constant differential inclusions, one for each of a number of polygonal regions partitioning the plane. The reachability ...
FLACOS’08 Workshop proceedings 
Pace, Gordon J.; Schneider, Gerardo (Research report / Forskningsrapport, 2008)
The 2nd Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS’08) is held in Malta. The aim of the workshop is to bring together researchers and practitioners working on language-based solutions ...
Time exceptions in sequence diagrams 
Halvorsen, Oddleif; Runde, Ragnhild Kobro; Haugen, Øystein (Research report / Forskningsrapport, 2008)
UML sequence diagrams partially describe a system. We show how the description may be augmented with exceptions triggered by the violation of timing constraints and compare our approach to those of the UML 2.1 simple time ...
CL - a logic for reasoning about legal contracts: - Semantics 
Prisacariu, Christian; Schneider, Gerardo (Research report / Forskningsrapport, 2008)
The work reported here is concerned with the definition of a logic (which we call CL) for reasoning about legal contracts. The report presents the syntax of the logic and the associated semantics. There are two semantics ...
Executable interface specifications for testing asynchronous Creol components 
Grabe, Immo; Steffen, Martin; Torjussen, Arild B. (Research report / Forskningsrapport, 2008)
Creol is a high-level, object-oriented language for distributed systems, featuring active objects and asynchronous method calls. In this paper we present a behavioral interface speci cation language over communication trace ...
 
Responsible for this website 
University of Oslo Library


Contact Us 
duo-hjelp@ub.uio.no


Privacy policy
 

 

For students / employeesSubmit master thesisAccess to restricted material

Browse

All of DUOCommunities & CollectionsBy Issue DateAuthorsTitlesThis CollectionBy Issue DateAuthorsTitles

For library staff

Login

Discover

Date Issued
2008 (5)
Document Type
Forskningsrapport (5)
AuthorSchneider, Gerardo (3)Pace, Gordon J. (2)Grabe, Immo (1)Halvorsen, Oddleif (1)Haugen, Øystein (1)... View More
RSS Feeds
feedRSS 2.0
 
Responsible for this website 
University of Oslo Library


Contact Us 
duo-hjelp@ub.uio.no


Privacy policy