1103 search results - page 36 / 221 » The Visula programming language and environment |
ISOOMS
1994
14 years 22 days ago
1994
Although object-oriented programming techniques have evolved into an accepted technology with recognized benefits for software development, profound investigations of qualitative a...
COMPSAC
2005
IEEE
14 years 2 months ago
2005
IEEE
SLABS is a formal specification language designed for modular and composable specification of multi-agent systems. This paper reports our attempts to support SLABS at the level ...
ATAL
1995
Springer
14 years 7 days ago
1995
Springer
This paper describes a novel approach to high-level agent programming based on a highly developed logical theory of action. The user provides a specification of the agents’ bas...
IFIP
1989
Springer
14 years 21 days ago
1989
Springer
‘‘Industrial strength’’ software development environments (SDEs) must provide facilities to address three essential properties of multi-developer software systems: evoluti...
APLAS
2008
ACM
13 years 10 months ago
2008
ACM
nce of Form Abstraction Ezra Cooper, Sam Lindley, Philip Wadler, and Jeremy Yallop School of Informatics, University of Edinburgh Abstraction is the cornerstone of high-level progr...