4290 search results - page 311 / 858 » Formal Approaches to Teamwork |
177
click to vote
SAS
2005
Springer
16 years 10 days ago
2005
Springer
A technique for generating invariant polynomial inequalities of bounded degree is presented using the abstract interpretation framework. It is based on overapproximating basic semi...
145
Voted
IHM
2004
ACM
16 years 8 days ago
2004
ACM
This paper describes an approach for the participatory design. After describing the trends in the domain, a formalization of the design process is expressed based on « phase »...
153
click to vote
SIGCSE
2004
ACM
16 years 8 days ago
2004
ACM
We describe the instructional software JFLAP 4.0 and how it can be used to provide a hands-on formal languages and automata theory course. JFLAP 4.0 doubles the number of chapters...
155
click to vote
WOSP
2004
ACM
16 years 8 days ago
2004
ACM
In this paper we present an original method of analysing the newlyrevised UML2.0 activity diagrams. Our analysis method builds on our formal interpretation of these diagrams with ...
165
click to vote
BPM
2004
Springer
16 years 7 days ago
2004
Springer
For the integration of electronic negotiation systems within information systems, it is essential to model both using the same modelling paradigm to avoid frictions. We develop a g...