Sciweavers

209 search results - page 29 / 42
» Software Requirements Specification of a University Class Sc...
Sort
View
SIGSOFT
2010
ACM
13 years 8 months ago
Realizability analysis for message-based interactions using shared-state projections
The global interaction behavior in message-based systems can be specified as a finite-state machine defining acceptable sequences of messages exchanged by a group of peers. Realiz...
Sylvain Hallé, Tevfik Bultan
WOSP
2005
ACM
14 years 4 months ago
Performance by unified model analysis (PUMA)
Evaluation of non-functional properties of a design (such as performance, dependability, security, etc.) can be enabled by design annotations specific to the property to be evalua...
C. Murray Woodside, Dorina C. Petriu, Dorin Bogdan...
AGILEDC
2008
IEEE
14 years 5 months ago
Eleven Guidelines for Implementing Pair Programming in the Classroom
Utilizing pair programming in the classroom requires specific classroom management techniques. We have created nine guidelines for successfully implementing pair programming in th...
Laurie A. Williams, D. Scott McCrickard, Lucas Lay...
SEW
2003
IEEE
14 years 4 months ago
Instrumentation of Intermediate Code for Runtime Verification
Runtime monitoring is aimed at ensuring correct runtime behavior with respect to specified constraints. It provides assurance that properties are maintained during a given program...
Ann Q. Gates, Oscar Mondragon, Mary Payne, Steve R...
IPCC
1998
92views more  IPCC 1998»
14 years 7 days ago
Evaluating Distance Learning in Graduate Programs: Ensuring Rigorous, Rewarding Professional Education
: Internet-based distance learning programs make it possible for technical communicators located anywhere in the world to participate in graduate courses in their field. But are th...
George F. Hayhoe