Sciweavers

685 search results - page 116 / 137
» Towards a Tool Support for a Living Software Development Pro...
Sort
View
BMCBI
2006
123views more  BMCBI 2006»
13 years 7 months ago
An Automated Method for Rapid Identification of Putative Gene Family Members in Plants
Background: Gene duplication events have played a significant role in genome evolution, particularly in plants. Exhaustive searches for all members of a known gene family as well ...
Ronald L. Frank, Ajay Mane, Fikret Erçal
ICSE
2011
IEEE-ACM
12 years 11 months ago
Always-available static and dynamic feedback
Developers who write code in a statically typed language are denied the ability to obtain dynamic feedback by executing their code during periods when it fails the static type che...
Michael Bayne, Richard Cook, Michael D. Ernst
ICFEM
2003
Springer
14 years 28 days ago
Generic Interacting State Machines and Their Instantiation with Dynamic Features
Interacting State Machines (ISMs) are used to model reactive systems and to express and verify their properties. They can be seen both as automata exchanging messages simultaneousl...
David von Oheimb, Volkmar Lotz
ICECCS
1996
IEEE
209views Hardware» more  ICECCS 1996»
13 years 12 months ago
Coupling-based Integration Testing
This research is part of a project to develop practical, effective, formalizable, automatable techniques for integration testing. Integration testing is an important part of the t...
Zhenyi Jin, A. Jefferson Offutt
ACMDIS
2000
ACM
14 years 3 days ago
Sitemaps, Storyboards, and Specifications: A Sketch of Web Site Design Practice
Through a study of web site design practice, we observed that web site designers employ multiple representations of web sites as they progress through the design process, and that...
Mark W. Newman, James A. Landay