Sciweavers

4286 search results - page 32 / 858
» Formalizing Service Interactions
Sort
View
ECBS
2004
IEEE
77views Hardware» more  ECBS 2004»
14 years 6 days ago
IRIS: A Semi-Formal Approach for Detecting Requirements Interactions
Mohamed Shehata, Armin Eberlein, Abraham O. Fapoju...
ISSE
2008
13 years 8 months ago
Formal methods for interactive systems
Antonio Cerone, Paul Curzon
IS
2002
13 years 8 months ago
Formalizing visual interaction with historical databases
Sônia Fernandes Silva, Tiziana Catarci, Ulri...
IJMMS
1998
68views more  IJMMS 1998»
13 years 8 months ago
Formal architectural abstractions for interactive software
Panos Markopoulos, Peter Johnson, Jon Rowson