3006 search results - page 272 / 602 » Overview |
144
click to vote
HASE
1998
IEEE
15 years 8 months ago
1998
IEEE
We have developed and successfully applied a technique to build a high integrity compiler from Pasp, a Pascal-like language, to Asp, the target language for a high integrity proce...
124
click to vote
RE
1999
Springer
15 years 8 months ago
1999
Springer
Developing requirements for software components, and ensuring these requirements are met by component designs, is very challenging, as very often application domain and stakeholde...
122
click to vote
UML
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. There is much interest in using the Unified Modeling Language (UML) for architectural description – those techniques by which architects sketch, capture, model, docume...
113
click to vote
ITC
1998
IEEE
15 years 8 months ago
1998
IEEE
Advances in semiconductor process and design technology enable the design of complex system chips. Traditional IC design, in which every circuit is designed from scratch and reuse...
126
click to vote
IWPC
1998
IEEE
15 years 8 months ago
1998
IEEE
This paper presents an overview of the DIME environment (DIrect Manipulation Environment) being developed by the author. The paper presents the DIME vision, its catalogue of evolu...