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
Platform Modeling and Model Transformations for Analysis
Tivadar Szemethy, Gabor Karsai
10.3217/jucs-010-10-1383
 28-10-2004
 Unique: 382 | Total: 435  | Access Period:
 1383-1407
HTML
XML
PDF
Research Article
A MOF-Based Metamodeling Environment
Matthew Emerson, Janos Sztipanovits, Ted Bapty
10.3217/jucs-010-10-1357
 28-10-2004
 Unique: 396 | Total: 487  | Access Period:
 1357-1382
HTML
XML
PDF
Research Article
Snippets: Support for Drag-and-Drop Programming in the Redwood Environment
Brian Westphal, Frederick C. Harris Jr., Sergiu Dascalu
10.3217/jucs-010-07-0859
 28-07-2004
 Unique: 451 | Total: 551  | Access Period:
 859-871
HTML
XML
PDF
Research Article
Portlets as Web Components: an Introduction
Oscar Díaz, Juan Rodríguez
10.3217/jucs-010-04-0454
 28-04-2004
 Unique: 337 | Total: 381  | Access Period:
 454-472
HTML
XML
PDF
Research Article
A Rapid Prototyping Environment for Multi-DSP Systems based on Accurate Performance Prediction
Bernhard Rinner, Martin Schmid, Reinhold Weiss
10.3217/jucs-010-02-0120
 28-02-2004
 Unique: 395 | Total: 487  | Access Period:
 120-144
HTML
XML
PDF
Research Article
On the Use of Graph Transformation in the Formal Specification of Model Interpreters
Gabor Karsai, Aditya Agrawal, Feng Shi, Jonathan Sprinkle
10.3217/jucs-009-11-1296
 28-11-2003
 Unique: 260 | Total: 305  | Access Period:
 1296-1321
HTML
XML
PDF
Research Article
Haskell#: Parallel Programming Made Simple and Efficient
Francisco Heron de Carvalho Júnior, Rafael Lins
10.3217/jucs-009-08-0776
 28-08-2003
 Unique: 353 | Total: 406  | Access Period:
 776-794
HTML
XML
PDF
Research Article
Experience Base Schema Building Blocks of the PLEASERS Library
Raimund Feldmann, Ralf Carbon
10.3217/jucs-009-07-0659
 28-07-2003
 Unique: 358 | Total: 415  | Access Period:
 659-669
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: 392 | Total: 458  | Access Period:
 173-188
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: 368 | Total: 452  | 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: 372 | Total: 416  | Access Period:
 88-105
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: 320 | Total: 392  | Access Period:
 881-891
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