Sciweavers

2853 search results - page 131 / 571
» A platform for software engineering research
Sort
View
HASE
1998
IEEE
15 years 2 months ago
Formal Specification in Collaborative Design of Critical Software Tools
Engineers use software tools to analyze designs for critical systems. Because important decisions are based on tool results, tools must provide valid modeling constructs; engineer...
David Coppit, Kevin J. Sullivan
CORR
2008
Springer
114views Education» more  CORR 2008»
14 years 10 months ago
Investigating the Potential of Test-Driven Development for Spreadsheet Engineering
It is widely documented that the absence of a structured approach to spreadsheet engineering is a key factor in the high level of spreadsheet errors. In this paper we propose and ...
Alan Rust, Brian Bishop, Kevin McDaid
COMPSAC
2008
IEEE
15 years 4 months ago
Towards Engineering Ontologies for Cognitive Profiling of Agents on the Semantic Web
Research shows that most agent-based collaborations suffer from lack of flexibility. This is due to the fact that most agent-based applications assume pre-defined knowledge of age...
Amna Basharat, Gabriella Spinelli
ICSE
2001
IEEE-ACM
15 years 2 months ago
David L. Parnas Symposium
David L. Parnas is one of the grandmasters of software engineering. His academic research and industrial collaborations have exerted far-reaching influence on software design and ...
Daniel Hoffman, David M. Weiss
ICONS
2008
IEEE
15 years 4 months ago
A Systems Engineering Approach to Exception Handling
Missing or faulty exception handling has caused a number of spectacular system failures and is a major cause of software failures in extensively tested critical systems. Prior wor...
Herbert Hecht