Sciweavers

1099 search results - page 28 / 220
» A Formal Approach to Domain-Oriented Software Design Environ...
Sort
View
MAGS
2008
114views more  MAGS 2008»
15 years 6 months ago
Automated formal analysis of human multi-issue negotiation processes
This paper reports on experiments in (human) multi-issue negotiation and their analysis, and presents a generic software environment supporting such an analysis. First, the paper p...
Tibor Bosse, Catholijn M. Jonker, Lourens van der ...
ACSD
2006
IEEE
129views Hardware» more  ACSD 2006»
16 years 1 days ago
Communicating with Synchronized Environments
In the modern design environments, different modules, available in existent libraries, may obey different architectural styles and execution models. Reaching a well– behaved com...
Tiberiu Seceleanu, Axel Jantsch
SNPD
2003
15 years 7 months ago
An Integrated Design Environment for Collaborative Tailoring
In this paper, we describe an approach and a prototype to enable participatory, collaborative tailoring of and within a groupware application. Our approach suggests extending the ...
Volkmar Pipek
ISSTA
1989
ACM
15 years 10 months ago
The Logic of Propagation in the Inscape Environment
The Inscape Environment research project addresses issues in supporting the development of large systems by large numbers of programmers. One aspect of this research is the ‘‘...
D. Perry
WWW
2001
ACM
16 years 6 months ago
Object-Z web environment and projections to UML
This paper presents the XML/XSL approach to the development of a web environment for the formal speci cation language Object-Z. The projection techniques and tools from Object-Z (...
Jing Sun, Jin Song Dong, Jing Liu, Hai H. Wang