20 search results - page 3 / 4 » apsec 2000 |
APSEC
2000
IEEE
13 years 9 months ago
2000
IEEE
Internet and intranet web sites have become an integral part of software development as well as the wider fields of commercial, educational and recreational activity. In order to...
APSEC
2000
IEEE
13 years 9 months ago
2000
IEEE
Thispaper presents a goal based modeling methodfor agent-oriented software system. In modeling research for agent-oriented software, problems often emerged in that the properties ...
APSEC
2000
IEEE
13 years 9 months ago
2000
IEEE
This experience paper presents observations, lessons learned, and recommendations based on a case study of reuse. The case study is concerned with the development, maturation, and...
APSEC
2000
IEEE
13 years 9 months ago
2000
IEEE
It has been recognised that formal methods are useful as a modelling tool in requirements engineering. Specification languages such as Z permit the precise and unambiguous modell...
APSEC
2000
IEEE
13 years 9 months ago
2000
IEEE
Explosive increase in end-user computing on distributed systems requires that end-users develop application software by themselves. One solution is given as a formula of “a doma...