Sciweavers

3527 search results - page 8 / 706
» Test Automation in Practice
Sort
View
ICNP
2006
IEEE
15 years 3 months ago
Rigorous Protocol Design in Practice: An Optical Packet-Switch MAC in HOL
— This paper reports on an experiment in network protocol design: we use novel rigorous techniques in the design process of a new protocol, in a close collaboration between syste...
Adam Biltcliffe, Michael Dales, Sam Jansen, Tom Ri...
ECMDAFA
2010
Springer
207views Hardware» more  ECMDAFA 2010»
15 years 2 months ago
An Automated Approach to Transform Use Cases into Activity Diagrams
Use cases are commonly used to structure and document requirements while UML activity diagrams are often used to visualize and formalize use cases, for example to support automated...
Tao Yue, Lionel C. Briand, Yvan Labiche
ICSE
2003
IEEE-ACM
15 years 9 months ago
Assessing Test-Driven Development at IBM
In a software development group of IBM Retail Store Solutions, we built a non-trivial software system based on a stable standard specification using a disciplined, rigorous unit t...
E. Michael Maximilien, Laurie A. Williams
100
Voted
VL
2005
IEEE
142views Visual Languages» more  VL 2005»
15 years 3 months ago
JOpera: An Agile Environment for Web Service Composition with Visual Unit Testing and Refactoring
Agile methodologies employ light-weight development practices emphasizing a test-driven approach to the development of software systems. Modern agile development environments supp...
Cesare Pautasso