4469 search results - page 315 / 894 » A Language for Role Specifications |
190
click to vote
KBSE
1994
IEEE
15 years 11 months ago
1994
IEEE
This paper describes a formal approach to domain-oriented software design environments, based on declarative domain theories, formal specifications, and deductive program synthesi...
172
click to vote
KBSE
1998
IEEE
15 years 11 months ago
1998
IEEE
Motivated by NASA's need for high-assurance software, NASA Ames' Amphion project has developed a generic program generation system based on deductive synthesis. Amphion ...
148
click to vote
HICSS
2003
IEEE
16 years 2 days ago
2003
IEEE
Messaging plays a central role in the development of distributed object-oriented systems. It is supported by the specification of the Java Message Service (JMS) and CORBA’s Noti...
169
click to vote
IDMS
1998
Springer
15 years 11 months ago
1998
Springer
This paper discusses the application of TINA concepts, architectures and related design paradigms in the MESH project. MESH adopted TINA as a means to facilitate the design and imp...
154
click to vote
IADIS
2004
15 years 8 months ago
2004
The paper focuses on the cognitive contribution of visual experiences to learning in a higher education setting. Specifically, it examines whether the use of students' imagin...