Sciweavers

1401 search results - page 2 / 281
» Tool Integration for Reasoned Programming
Sort
View
SEE
1989
Springer
13 years 11 months ago
Tool Integration in Software Engineering Environments
This article presents doctoral research on tool integration within software engineering environments. Tool integration concerns the techniques used to form coalitions of tools tha...
Anthony I. Wasserman
TOOLS
2010
IEEE
14 years 17 days ago
Reasoning about Function Objects
Martin Nordio, Cristiano Calcagno, Bertrand Meyer,...
TOOLS
2009
IEEE
14 years 2 months ago
CIF: A Framework for Managing Integrity in Aspect-Oriented Composition
Andrew Camilleri, Geoffrey Coulson, Lynne Blair
DALT
2004
Springer
14 years 27 days ago
Reasoning About Agents' Interaction Protocols Inside DCaseLP
Engineering systems of heterogeneous agents is a difficult task; one of the ways for achieving the successful industrial deployment of agent technology is the development of engine...
Matteo Baldoni, Cristina Baroglio, Ivana Gungui, A...