16859 search results - page 364 / 3372 » Generative software development |
208
click to vote
AGILEDC
2003
IEEE
16 years 2 days ago
2003
IEEE
As part of the delivery an automated hub for a postal operator, the Solystic company has to build a complex and feature rich Information System that supports a highly automated pr...
159
click to vote
KORSO
1995
15 years 10 months ago
1995
in Data Types Specification, Proc. 10th Workshop on Specification of Abstract Data Types joint with the 5th COMPASS Workshop, S.Margherita, Italy, May/June 1994, Selected papers,...
126
click to vote
CODES
1997
IEEE
15 years 11 months ago
1997
IEEE
Abstract Felice Balarin Massimiliano Chiodoy Attila Jurecskaz Luciano Lavagno Bassam Tabbarax Alberto Sangiovanni-Vincentelli April 28, 1997
194
Voted
CC
2008
Springer
15 years 8 months ago
2008
Springer
This paper describes the design and implementation of a language for specifying the semantics of an instruction set, along with a run-time system to support the static analysis of ...
174
click to vote
TAP
2008
Springer
15 years 6 months ago
2008
Springer
Formal methods can only gain widespread use in industrial software development if they are integrated into software development techniques, tools, and languages used in practice. A...