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

122 items matching your criteria

Sort by:
Filter By:
Subject: D.2.2 - Design Tools and Techniques
Clear All
Copy link
RSS Feed   RSS Feed filters articles only by Classification type, Date (from/to), Publication type
Left Arrow
6 7 8 9 10
Right Arrow
Select:   All   None
Download:
Citation
XML
PDF
Export format

Download
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: 263 | Total: 313  | Access Period:
 557-566
HTML
XML
PDF
Research Article
ASM-Based Testing: Coverage Criteria and Automatic Test Sequence
Angelo Gargantini, Elvinia Riccobene
10.3217/jucs-007-11-1050
 28-11-2001
 Unique: 382 | Total: 443  | Access Period:
 1050-1067
HTML
XML
PDF
Research Article
A Neural Abstract Machine
Egon Börger, Diego Sona
10.3217/jucs-007-11-1006
 28-11-2001
 Unique: 362 | Total: 464  | Access Period:
 1006-1023
HTML
XML
PDF
Research Article
Diagram Refinements for the Design of Reactive Systems
Dominique Cansell, Dominique Mery, Stephan Merz
10.3217/jucs-007-02-0159
 28-02-2001
 Unique: 373 | Total: 455  | Access Period:
 159-174
HTML
XML
PDF
Research Article
Modeling Sequences within the RelView System
Rudolf Berghammer, Thorsten Hoffmann
10.3217/jucs-007-02-0107
 28-02-2001
 Unique: 386 | Total: 442  | Access Period:
 107-123
HTML
XML
PDF
Research Article
Declarative Term Graph Attribution for Program Generation
Wolfram Kahl, Frank Derichsweiler
10.3217/jucs-007-01-0054
 28-01-2001
 Unique: 359 | Total: 395  | Access Period:
 54-70
HTML
XML
PDF
Research Article
The Korrigan Environment
Christine Choppy, Pascal Poizat, Jean-Claude Royer
10.3217/jucs-007-01-0019
 28-01-2001
 Unique: 406 | Total: 473  | Access Period:
 19-36
HTML
XML
PDF
Research Article
DisCo Toolset - The New Generation
Timo Aaltonen, Mika Katara, Risto Pitkänen
10.3217/jucs-007-01-0003
 28-01-2001
 Unique: 352 | Total: 395  | Access Period:
 3-18
HTML
XML
PDF
Research Article
Towards Two-Level Formal Modeling of Computer-Based Systems
Gabor Karsai, Greg Nordstrom, Akos Ledeczi, Janos Sztipanovits
10.3217/jucs-006-11-1131
 28-11-2000
 Unique: 234 | Total: 276  | Access Period:
 1131-1144
HTML
XML
PDF
Research Article
Modeling Information System Behavior with Dynamic Relations Nets
Laurent Allain, Pascal Yim
10.3217/jucs-006-11-1109
 28-11-2000
 Unique: 305 | Total: 346  | Access Period:
 1109-1130
HTML
XML
PDF
Research Article
Application of the FOREST Approach to the Light Control Case Study
Martin Kronenburg, Christian Peper
10.3217/jucs-006-07-0679
 28-07-2000
 Unique: 320 | Total: 362  | Access Period:
 679-703
HTML
XML
PDF
Research Article
A Packing Problem, Solved by Genetic Algorithms
Georg Franck-Oberaspach, Dietmar Schweiger, Karl Svozil
10.3217/jucs-005-08-0464
 28-08-1999
 Unique: 322 | Total: 370  | Access Period:
 464-470
HTML
XML
PDF
Left Arrow
6 7 8 9 10
Right Arrow

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

OK