6722 search results - page 6 / 1345 » The DSML4MAS development environment |
88
Voted
CADE
1998
Springer
15 years 1 months ago
1998
Springer
Abstract. We present a theorem proving environment for the development of reliable and efficient group communication systems. Our approach makes methods of automated deduction appl...
UIST
1997
ACM
15 years 1 months ago
1997
ACM
This paper describes our experiences implementing a component architecture for TeamWave Workplace, an integrated groupware environment using a rooms metaphor. The problem we faced...
CSREAEEE
2006
14 years 11 months ago
2006
: This paper examines the re-development of university level web programming unit for delivery in a fully online mode. The unit, which teaches advanced xhtml, javascript, php and m...
ECMDAFA
2009
Springer
14 years 7 months ago
2009
Springer
Domain-specific modeling solutions have been promoted for some time in order to improve the productivity of software developers by providing them with modeling environments that ar...
IFIP
1989
Springer
15 years 1 months ago
1989
Springer
‘‘Industrial strength’’ software development environments (SDEs) must provide facilities to address three essential properties of multi-developer software systems: evoluti...