492 search results - page 83 / 99 » Practitioners' Expectations on Development Processes |
ICSE
2000
IEEE-ACM
14 years 1 months ago
2000
IEEE-ACM
We present Galileo, an innovative engineering modeling and analysis tool built using an approach we call packageoriented programming (POP). Galileo represents an ongoing evaluatio...
KI
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. This paper presents a novel method for developing and evaluating intelligent robot behavior for joint human-robot activities. We extended a physical simulation of an auto...
BMCBI
2007
13 years 9 months ago
2007
Background: Whereas the molecular assembly of protein expression clones is readily automated and routinely accomplished in high throughput, sequence verification of these clones i...
BMCBI
2007
13 years 9 months ago
2007
Background: Uncovering cellular roles of a protein is a task of tremendous importance and complexity that requires dedicated experimental work as well as often sophisticated data ...
SIGADA
2005
Springer
14 years 3 months ago
2005
Springer
The purpose of this research paper is to examine (1) why formal methods are required for software systems today; (2) the Praxis High Integrity Systems’ Correctness-by-Constructi...