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

111 items matching your criteria

Sort by:
Filter By:
Subject: D.1 - PROGRAMMING 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
Select:   All   None
Download:
Citation
XML
PDF
Export format

Download
The Origins and the Development of the ...
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: 1621 | Total: 1981
 2-74
HTML
XML
PDF
Compiling Abstract State Machines to ...
Research Article
Compiling Abstract State Machines to C++
Joachim Schmid
10.3217/jucs-007-11-1068
 28-11-2001
 Unique: 1068 | Total: 1315
 1068-1087
HTML
XML
PDF
Modeling Sequences within the RelView ...
Research Article
Modeling Sequences within the RelView System
Rudolf Berghammer, Thorsten Hoffmann
10.3217/jucs-007-02-0107
 28-02-2001
 Unique: 1162 | Total: 1400
 107-123
HTML
XML
PDF
Declarative Term Graph Attribution for ...
Research Article
Declarative Term Graph Attribution for Program Generation
Wolfram Kahl, Frank Derichsweiler
10.3217/jucs-007-01-0054
 28-01-2001
 Unique: 1149 | Total: 1411
 54-70
HTML
XML
PDF
An Outline of PVS Semantics for UML Statecharts
Research Article
An Outline of PVS Semantics for UML Statecharts
Issa Traoré
10.3217/jucs-006-11-1088
 28-11-2000
 Unique: 1005 | Total: 1220
 1088-1108
HTML
XML
PDF
Execution and Cache Performance of the ...
Research Article
Execution and Cache Performance of the Scheduled Dataflow Architecture
Krishna Kavi, Joseph Arul, Roberto Giorgi
10.3217/jucs-006-10-0948
 28-10-2000
 Unique: 1205 | Total: 1650
 948-967
HTML
XML
PDF
A New Approach to Communicating X-Machines ...
Research Article
A New Approach to Communicating X-Machines Systems
Horia Georgescu
10.3217/jucs-006-05-0490
 28-05-2000
 Unique: 1137 | Total: 1322
 490-502
HTML
XML
PDF
Ensuring Termination in ESFP
Research Article
Ensuring Termination in ESFP
Alastair Telford, David Turner
10.3217/jucs-006-04-0474
 28-04-2000
 Unique: 1247 | Total: 1516
 474-488
HTML
XML
PDF
Functional Reading of Logic Programs
Research Article
Functional Reading of Logic Programs
Silvija Seres, Michael Spivey
10.3217/jucs-006-04-0433
 28-04-2000
 Unique: 1090 | Total: 1314
 433-446
HTML
XML
PDF
MONSTR II - Suspending Semantics and ...
Research Article
MONSTR II - Suspending Semantics and Independence
Richard Banach
10.3217/jucs-003-07-0756
 28-07-1997
 Unique: 1103 | Total: 1354
 756-802
HTML
XML
PDF
Refining an ASM Specification of the ...
Research Article
Refining an ASM Specification of the Production Cell to C++ Code
Luca Mearelli
10.3217/jucs-003-05-0666
 28-05-1997
 Unique: 1016 | Total: 1277
 666-688
HTML
XML
PDF
Integrating ASMs into the Software Development ...
Research Article
Integrating ASMs into the Software Development Life Cycle
Egon Börger, Luca Mearelli
10.3217/jucs-003-05-0603
 28-05-1997
 Unique: 1082 | Total: 1357
 603-665
HTML
XML
PDF
Left Arrow
6 7 8 9 10

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

OK