Filter

Search
by Subject
  • Topic A - General Literature
  • Topic B - Hardware
  • Topic C - Computer Systems Organization
  • Topic D - Software
  • Topic E - Data
  • Topic F - Theory of Computation
  • Topic G - Mathematics of Computing
  • Topic H - Information Systems
  • Topic I - Computing Methodologies
  • Topic J - Computer Applications
  • Topic K - Computing Milieux
  • Topic L - Science and Technology of Learning
  • Topic M - Knowledge Management
by Publication Date (dd/mm/yyyy)
from
to
by Publication Type
by Funding Agency
Clear filters
Powered by

67 items matching your criteria

Sort by:
Filter By:
Subject: F.3.1 - Specifying and Verifying and Reasoning about Programs
Clear All
Copy link
RSS Feed   RSS Feed filters articles only by Classification type, Date (from/to), Publication type
1 2 3 4 5
Right Arrow
Select:   All   None
Download:
Citation
XML
PDF
Export format

Download
Research Article
Synchronization Can Improve Reactive Systems Control and Modularity
Cristina Seceleanu, Tiberiu Seceleanu
10.3217/jucs-010-10-1429
 28-10-2004
 Unique: 391 | Total: 455  | Access Period:
 1429-1468
HTML
XML
PDF
Research Article
Architectural Abstraction as Transformation of Poset Labelled Graphs
Mark Denford, Andrew Solomon, John Leaney, Tim Neill
10.3217/jucs-010-10-1408
 28-10-2004
 Unique: 389 | Total: 453  | Access Period:
 1408-1428
HTML
XML
PDF
Research Article
A Modular Rewriting Semantics for CML
Fabricio Chalub, Christiano Braga
10.3217/jucs-010-07-0789
 28-07-2004
 Unique: 418 | Total: 469  | Access Period:
 789-807
HTML
XML
PDF
Research Article
Monitoring Temporal Logic Specifications Combined with Time Series Constraints
Doron Drusinsky, Man-Tak Shing
10.3217/jucs-009-11-1261
 28-11-2003
 Unique: 351 | Total: 438  | Access Period:
 1261-1276
HTML
XML
PDF
Research Article
Using Program Checking to Ensure the Correctness of Compiler Implementations
Sabine Glesner
10.3217/jucs-009-03-0191
 28-03-2003
 Unique: 351 | Total: 417  | Access Period:
 191-222
HTML
XML
PDF
Research Article
Tool Support for the Interactive Derivation of Formally Correct Functional Programs
Walter Guttmann, Helmuth Partsch, Wolfram Schulte, Ton Vullinghs
10.3217/jucs-009-02-0173
 28-02-2003
 Unique: 387 | Total: 451  | Access Period:
 173-188
HTML
XML
PDF
Research Article
HOL-Z 2.0: A Proof Environment for Z-Specifications
Achim Brucker, Frank Rittinger, Burkhart Wolff
10.3217/jucs-009-02-0152
 28-02-2003
 Unique: 404 | Total: 487  | Access Period:
 152-172
HTML
XML
PDF
Research Article
Checking Object System Designs Incrementally
Hans-Dieter Ehrich, Maik Kollmann, Ralf Pinger
10.3217/jucs-009-02-0106
 28-02-2003
 Unique: 354 | Total: 421  | Access Period:
 106-119
HTML
XML
PDF
Research Article
Moby/RT: A Tool for Specification and Verification of Real-Time Systems
Ernst-Rüdiger Olderog, Henning Dierks
10.3217/jucs-009-02-0088
 28-02-2003
 Unique: 366 | Total: 410  | Access Period:
 88-105
HTML
XML
PDF
Research Article
Modelling Agents as Observable Sources
Mirko Viroli, Andrea Omicini
10.3217/jucs-008-04-0423
 28-04-2002
 Unique: 354 | Total: 428  | Access Period:
 423-452
HTML
XML
PDF
Research Article
The Origins and the Development of the ASM Method for High Level System Design and Analysis
Egon Börger
10.3217/jucs-008-01-0002
 28-01-2002
 Unique: 422 | Total: 500  | Access Period:
 2-74
HTML
XML
PDF
Research Article
A Logic for Abstract State Machines
Robert Stärk, Stanislas Nanchen
10.3217/jucs-007-11-0980
 28-11-2001
 Unique: 344 | Total: 413  | Access Period:
 980-1005
HTML
XML
PDF
1 2 3 4 5
Right Arrow

This website uses cookies in order to improve your web experience. Read our Cookies Policy

OK