1051 search results - page 84 / 211 » Protocols in the use of empirical software engineering artif... |
COMPSAC
2006
IEEE
14 years 3 months ago
2006
IEEE
This paper presents an approach for automated test case generation using a software specification modeled in Statecharts. The steps defined in such approach involve: translation o...
STTT
2010
13 years 3 months ago
2010
We present a model of the IEEE 1394 Root Contention Protocol with a proof of Safety. This model has real-time properties which are expressed in the language of the event B method: ...
COMPSEC
2010
13 years 5 months ago
2010
Spi Calculus is an untyped high level modeling language for security protocols, used for formal protocols specification and verification. In this paper, a type system for the Spi ...
ICSE
2005
IEEE-ACM
14 years 9 months ago
2005
IEEE-ACM
Research was conducted on using agile methods in software engineering education. This paper explores the perceptions of students from five different academic levels of agile pract...
IUI
2000
ACM
14 years 1 months ago
2000
ACM
Prior research into embodied interface agents has found that users like them and find them engaging. In this paper, we argue that embodiment can serve an even stronger function if...