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

634 items matching your criteria

Sort by:
Filter By:
Subject: Topic D - Software
Clear All
Copy link
RSS Feed   RSS Feed filters articles only by Classification type, Date (from/to), Publication type
Left Arrow
46 47 48 49 50
Right Arrow
Select:   All   None
Download:
Citation
XML
PDF
Export format

Download
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: 424 | Total: 505  | 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: 443 | Total: 532  | Access Period:
 152-172
HTML
XML
PDF
Research Article
A Case Study in Verification of UML Statecharts: the PROFIsafe Protocol
Robi Malik, Reinhard Mühlfeld
10.3217/jucs-009-02-0138
 28-02-2003
 Unique: 398 | Total: 492  | Access Period:
 138-151
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: 398 | Total: 446  | Access Period:
 88-105
HTML
XML
PDF
Research Article
Experimental Studies within the Software Engineering Process for Intelligent Assistance in a GUI
Maria Virvou, Katerina Kabassi
10.3217/jucs-009-01-0051
 28-01-2003
 Unique: 405 | Total: 495  | Access Period:
 51-85
HTML
XML
PDF
Research Article
A Multiply Hierarchical Automaton Semantics for the IWIM Coordination Model
Richard Banach, Farhad Arbab, George Papadopoulos, John R. W. Glauert
10.3217/jucs-009-01-0002
 28-01-2003
 Unique: 397 | Total: 482  | Access Period:
 2-33
HTML
XML
PDF
Research Article
An Object-oriented Approach to Design, Specification, and Implementation of Hyperlink Structures Based on Usual Software Development
Alexander Fronk
10.3217/jucs-008-10-0892
 28-10-2002
 Unique: 403 | Total: 476  | Access Period:
 892-912
HTML
XML
PDF
Research Article
Design for All as a Challenge for Hypermedia Engineering
Volker Mattick
10.3217/jucs-008-10-0881
 28-10-2002
 Unique: 354 | Total: 434  | Access Period:
 881-891
HTML
XML
PDF
Research Article
Research in Structural Computing
David Hicks, Uffe Wiil, Peter Nürnberg
10.3217/jucs-008-10-0871
 28-10-2002
 Unique: 389 | Total: 466  | Access Period:
 871-880
HTML
XML
PDF
Research Article
Scheduling Tasks to a Team of Autonomous Mobile Service Robots in Indoor Enviroments
Hartmut Surmann, Antonio Morales
10.3217/jucs-008-08-0808
 28-08-2002
 Unique: 417 | Total: 511  | Access Period:
 808-832
HTML
XML
PDF
Research Article
A Framework for Semantics of UML Sequence Diagrams in PVS
Demissie Aredo
10.3217/jucs-008-07-0674
 28-07-2002
 Unique: 326 | Total: 372  | Access Period:
 674-697
HTML
XML
PDF
Research Article
The Role of Interaction Histories in Mental Model Building and Knowledge Sharing in the Legal Domain
Anita Komlodi
10.3217/jucs-008-05-0557
 28-05-2002
 Unique: 308 | Total: 364  | Access Period:
 557-566
HTML
XML
PDF
Left Arrow
46 47 48 49 50
Right Arrow

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

OK