Sciweavers

3514 search results - page 238 / 703
» Evolving Specification Engineering
Sort
View
AGILEDC
2004
IEEE
15 years 9 months ago
Taming the Embedded Tiger - Agile Test Techniques for Embedded Software
Strong unit testing is the foundation of agile software development but embedded systems present special problems. Test of embedded software is bound up with test of hardware, cro...
Nancy Van Schooenderwoert, Ron Morsicato
FOSSACS
2006
Springer
15 years 9 months ago
Symbolic and Cryptographic Analysis of the Secure WS-ReliableMessaging Scenario
Abstract. Web services are an important series of industry standards for adding semantics to web-based and XML-based communication, in particular among enterprises. Like the entire...
Michael Backes, Sebastian Mödersheim, Birgit ...
ICSE
2000
IEEE-ACM
15 years 9 months ago
Automated refactoring to introduce design patterns
Software systems have to be flexible in order to cope with evolving requirements. However, since it is impossible to predict with certainty what future requirements will emerge, i...
Mel Ó Cinnéide
AGILEDC
2008
IEEE
15 years 8 months ago
The Accidental Agilists: One Team's Journey from Waterfall to Agile
This case study outlines one team's shift from the traditional waterfall methodology to an agile approach for web and custom application development. The transformation occur...
Mary Beth Snapp, Diane Dagefoerde
CIBCB
2008
IEEE
15 years 8 months ago
Network motifs in context: An exploration of the evolution of oscillatory dynamics in transcriptional networks
The concept of a network motif--a small set of interacting genes which produce a predictable behaviour at the network level--has attracted considerable attention amongst network an...
Jennifer Hallinan, Anil Wipat