1288 search results - page 117 / 258 » Integrating formal models into the programming languages cou... |
180
click to vote
UML
2005
Springer
15 years 11 months ago
2005
Springer
Refactoring of UML class diagrams is an emerging research topic and heavily inspired by refactoring of program code written in object-oriented implementation languages. Current cla...
147
click to vote
DAC
1998
ACM
16 years 7 months ago
1998
ACM
Abstract-Our strategy for automatic generation of functional vectors is based on exercising selected paths in the given hardware description language (HDL) model. The HDL model des...
273
Voted
ECAI
2000
Springer
15 years 10 months ago
2000
Springer
Several high-level programming languages for programming agents and robots have been proposed in recent years. Each of these languages has its own features and merits. It is still...
173
click to vote
ENTCS
2010
15 years 6 months ago
2010
This paper presents a formal framework for compositional reasoning about secure systems. A key insight is to view a trusted system in terms of the interfaces that the various comp...
198
click to vote
TOOLS
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper reports on the utilisation of object technology in a university-level course on software development, specifically designed for distance learning, and now enrolling ove...