Sciweavers

1952 search results - page 259 / 391
» Integrating Pair Programming into a Software Development Pro...
Sort
View
IUI
1997
ACM
15 years 10 months ago
Providing User Support for Interactive Applications with FUSE
FUSE (Formal User Interface Specification Environment) is an integrated user interface development environment that offers tool-based support for all phases of the interface desig...
Frank Lonczewski
WSC
1996
15 years 7 months ago
Controlling Activities in a Virtual Manufacturing Cell
Researchers at the National Institute of Standards and Technology are developing a virtual manufacturing cell. This cell will contain simulation models of a wide range of manufact...
Michael Iuliano, Albert Jones
ADAEUROPE
2003
Springer
15 years 11 months ago
An Invitation to Ada 2005
Starting in 2000, the ISO technical group in charge of maintaining the Ada language has been looking into possible changes for the next revision of the standard, around 2005. Based...
Pascal Leroy
ICSE
2012
IEEE-ACM
13 years 8 months ago
Axis: Automatically fixing atomicity violations through solving control constraints
Abstract—Atomicity, a general correctness criterion in concurrency programs, is often violated in real-world applications. The violations are difficult for developers to fix, m...
Peng Liu, Charles Zhang
CIA
2000
Springer
15 years 10 months ago
Applying Agents to Bioinformatics in GeneWeaver
Recent years have seen dramatic and sustained growth in the amount of genomic data being generated, including in late 1999 the first complete sequence of a human chromosome. The c...
Kevin Bryson, Michael Luck, Mike Joy, David T. Jon...