2613 search results - page 153 / 523 » Proposal for Tools Supporting Component Based Programming |
147
click to vote
ISADS
1999
IEEE
15 years 9 months ago
1999
IEEE
Tailorability is generally regarded as a key property of groupware systems due to the dynamics and diversity of cooperative work. This article investigates the use of software com...
130
click to vote
ISSRE
2002
IEEE
15 years 10 months ago
2002
IEEE
Fault insertion based techniqueshave been used for measuring test adequacy and testability of programs. Mutation analysis inserts faults into a program with the goal of creating m...
184
click to vote
PAAMS
2009
Springer
15 years 9 months ago
2009
Springer
Abstract Many Multi-Agent Systems (MAS) methodologies incorporate a modeldriven approach. Model Driven Engineering is based on three main ideas: models are the “first-class citi...
167
click to vote
WWW
2007
ACM
16 years 5 months ago
2007
ACM
Abstract We present OntoWiki, a tool providing support for agile, distributed knowledge engineering scenarios. OntoWiki facilitates the visual presentation of a knowledge base as a...
159
click to vote
FORTE
2010
15 years 6 months ago
2010
Abstract. Separation logic is a popular specification language for imperative programs where the heap can only be mentioned through pointsto assertions. However, separation logic&#...