378 search results - page 58 / 76 » Formalizing Spider Diagrams |
148
click to vote
RIAO
2007
15 years 6 months ago
2007
In this paper, we describe a novel methodology that integrates the design of the (i) user interface; (ii) interaction logger; and (iii) log analyzer. It is based on formalizing, v...
119
Voted
DAGSTUHL
2003
15 years 6 months ago
2003
Message Sequence Charts (MSCs) is a notation used in practice by protocol designers and system engineers. It is defined within an international standard (ITU Z120), and is also i...
159
click to vote
FIW
2003
15 years 6 months ago
2003
New voice services are investigated in the fields of Internet telephony (SIP – Session Initiation Protocol) and interactive voice systems (VoiceXML – Voice Extended Markup La...
134
click to vote
WICSA
2004
15 years 6 months ago
2004
COMMUNITY is a formal approach to software architecture. Its main characteristics are: a precise, yet intuitive mathematical semantics based on categorical diagrams; a clear separ...
141
click to vote
MASCOTS
2003
15 years 6 months ago
2003
Abstract. Software systems are today one of the most complex artifacts, they are simultaneously used by hundred-thousand of people sometimes in risk real time operations, such as a...