Sciweavers

4752 search results - page 214 / 951
» Dependability in Web Software
Sort
View
ATVA
2008
Springer
87views Hardware» more  ATVA 2008»
15 years 8 months ago
Goanna: Syntactic Software Model Checking
Goanna is an industrial-strength static analysis tool used in academia and industry alike to find bugs in C/C++ programs. Unlike existing approaches Goanna uses the off-the-shelf N...
Ralf Huuck, Ansgar Fehnker, Sean Seefried, Jö...
SERP
2003
15 years 7 months ago
Software Requirements Specification of a University Class Scheduler
The University Class Scheduler (UCS) presented in this paper is a novel scheduling tool intended to be used by universities to schedule classes into classrooms. In essence, UCS al...
Deanna M. Needell, Jeff A. Stuart, Tamara C. Thiel...
CLUSTER
2002
IEEE
15 years 6 months ago
The Astrophysics Simulation Collaboratory: A Science Portal Enabling Community Software Development
Grid Portals, based on standard web technologies, are emerging as important and useful user interfaces to computational and data Grids. Grid Portals enable Virtual Organizations, c...
Michael Russell, Gabrielle Allen, Greg Daues, Ian ...
ICSNC
2006
IEEE
16 years 15 days ago
Privacy-Invasive Software and Preventive Mechanisms
Computers are increasingly more integrated into peoples’ daily lives. In this development, user privacy is affected by the occurrence of privacy-invasive software (PIS), sometime...
Martin Boldt, Bengt Carlsson
CSEE
2009
Springer
15 years 4 months ago
A Requirements Engineering and Management Training Course for Software Development Professionals
Devising a course for software professionals working in industry depends on several factors. In order to create a course that fulfils professionals' expectations, it is impor...
João M. Fernandes, Ricardo Jorge Machado, S...