Sciweavers

1781 search results - page 72 / 357
» An Emerging Need for a New Software Engineering Method
Sort
View
141
Voted
DB
2008
107views more  DB 2008»
15 years 19 days ago
Introducing function extraction into software testing
Software testing can benefit from technologies that enable evolution toward increased engineering discipline. In current practice, software developers lack practical means to dete...
Mark G. Pleszkoch, Richard C. Linger, Alan R. Hevn...
115
Voted
DIGITALCITIES
2000
Springer
15 years 4 months ago
Experiments in the Digital 'Engineering City Oulu'
The paper outlines results of feasibility experiments with new functions for a local version of the digital city, performed under a collective name 'Engineering City Oulu'...
Lech Krzanik, Minna Mäkäräinen
101
Voted
TSE
2010
125views more  TSE 2010»
14 years 11 months ago
Engineering a Sound Assertion Semantics for the Verifying Compiler
—The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or...
Patrice Chalin
121
Voted
COMSWARE
2007
IEEE
15 years 7 months ago
Scalable Multicast Platforms for a New Generation of Robust Distributed Applications
1 As distributed systems scale up and are deployed into increasingly sensitive settings, demand is rising for a new generation of communications middleware in support of applicati...
Ken Birman, Mahesh Balakrishnan, Danny Dolev, Tudo...
BMCBI
2006
128views more  BMCBI 2006»
15 years 18 days ago
New directions in biomedical text annotation: definitions, guidelines and corpus construction
Background: While biomedical text mining is emerging as an important research area, practical results have proven difficult to achieve. We believe that an important first step tow...
W. John Wilbur, Andrey Rzhetsky, Hagit Shatkay