Sciweavers

506 search results - page 18 / 102
» Software Review
Sort
View
ICSE
2007
IEEE-ACM
14 years 8 months ago
Formal Software Analysis Emerging Trends in Software Model Checking
The study of methodologies and techniques to produce correct software has been active for four decades. During this period, researchers have developed and investigated a wide vari...
Matthew B. Dwyer, John Hatcliff, Robby, Corina S. ...
IV
2009
IEEE
100views Visualization» more  IV 2009»
14 years 3 months ago
Scouting Requirements Quality Using Visual Representations
Examining the quality of a set of requirements is a sensible project health check given their role in the engineering of quality software systems. However, not all project stakeho...
Orlena Gotel, Francis T. Marchese
ICSE
2007
IEEE-ACM
14 years 2 months ago
Aspect-Oriented Design in Java/AspectJ and Ruby
This tutorial teaches professional developers design principles for “production-quality”, aspect-oriented software, written in Java/AspectJ and Ruby. The discussion starts wit...
Dean Wampler
APSEC
2007
IEEE
13 years 9 months ago
The Problem Frames Approach to Software Engineering
The problem frames approach to software engineering is primarily—but not exclusively—concerned with computer-based systems. The broad content and nature of the approach are exp...
Michael Jackson
SE
2007
13 years 10 months ago
Scientific software test management - a research agenda
: The application of scientifically derived theories on software testing strongly depends on their ability to provide a value for practice. We provide a comprehensive review on the...
Lars Karg, Dirk Voelz