1051 search results - page 51 / 211 » Protocols in the use of empirical software engineering artif... |
ICSE
2003
IEEE-ACM
14 years 9 months ago
2003
IEEE-ACM
This paper proposes the use of an interaction modeling language called MoLIC to graphically represent scenarios as an additional resource in software development. MoLIC brings hum...
ICDE
2012
IEEE
11 years 11 months ago
2012
IEEE
—Large graphs are used in many applications, such as social networking. The management of these graphs poses new challenges because such graphs are too large to fit on a single ...
ISSTA
2006
ACM
14 years 2 months ago
2006
ACM
We report on the fourth in a series of studies on the reliability of application programs in the face of random input. Over the previous 15 years, we have studied the reliability ...
EMSOFT
2006
Springer
14 years 15 days ago
2006
Springer
We report on a case study in which the model checker Uppaal is used to formally model parts of Zeroconf, a protocol for dynamic configuration of IPv4 link-local addresses that has...
JSW
2007
13 years 8 months ago
2007
—Education of design engineering has started to change in response to the advancement of computer technology. This paper proposes a new design engineering educational framework u...