406 search results - page 43 / 82 » Semantic Modelling in Agent-Based Software Development |
121
click to vote
APSEC
2004
IEEE
15 years 6 months ago
2004
IEEE
The notion of partial and evolutionary specification has gained attention both in research and industry in the last years. While many people regard this just as a process issue, w...
109
click to vote
SERP
2003
15 years 3 months ago
2003
— Our work focuses on the use of formal techniques in order to increase the quality of HCI software and of all the processes resulting from the development, verification, design...
198
click to vote
ICOODB
2010
15 years 12 days ago
2010
Abstract. We present the data modeling concepts of Tricia, an opensource Java platform used to implement enterprise web information systems as well as social software solutions inc...
103
click to vote
FORTE
1996
15 years 3 months ago
1996
I discuss formal description techniques (FDTs) as they are applied in practice in software and system engineering. Their quality can be measured by their formality, descriptivenes...
126
click to vote
ICWE
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. There is a need to integrate XML schemas, i.e., schemas written in XML Schema, into UML-based software development processes. Not only the production of XML schemas out o...