8179 search results - page 139 / 1636 » The PRACTIONIST Development Tool |
167
click to vote
WMTE
2005
IEEE
15 years 12 months ago
2005
IEEE
Many universities and further education colleges provide Virtual Learning Environments (VLEs). In recent years a new direction has been to extend these to support Personal Develop...
171
click to vote
FM
1998
Springer
15 years 10 months ago
1998
Springer
We give an overview of the enhanced VSE system which is a tool to formally specify and verify systems. It provides means for structuring speci cations and it supports the developme...
138
click to vote
WSC
2007
15 years 8 months ago
2007
Coercion is a semi-automated simulation adaptation technology that uses subject-matter expert insight about model ion alternatives, called flexible points, to change the behavior...
146
click to vote
CSCW
2008
ACM
15 years 8 months ago
2008
ACM
In this paper, we seek to shed light on how communication networks in geographically distributed projects evolve in order to address the limits of the modular design strategy. We ...
178
click to vote
SDL
2007
15 years 7 months ago
2007
Describing an application as a simple composition of services allows advanced features that exploit different platforms to be conceived e formalized at a high abstraction level. S...