Sciweavers

1776 search results - page 182 / 356
» Hypothesis Testing for Module Test in Software Development
Sort
View
ICSE
2010
IEEE-ACM
15 years 7 months ago
Zenet: generating and enforcing real-time temporal invariants
Generating correct specifications for real-time event-driven software systems is difficult and time-consuming. Even when such specifications have been created, they are often us...
Chris Lewis
AOSD
2006
ACM
15 years 9 months ago
Using aspects to support the software process: XP over Eclipse
Usually, aspects enhance a software product by being composed - or woven - into it. Here, on the other hand, we use aspects to support the software development process itself. The...
Oren Mishali, Shmuel Katz
135
Voted
KBSE
2002
IEEE
15 years 7 months ago
Report on the Workshop on the State of the Art in Automated Software Engineering
ort gives their abstracts. s of the position papers Recent Experiences with Code Generation and Task Automation Agents in Software Tools (J. Grundy, J. Hosking) As software grows i...
Yves Ledru, David F. Redmiles
DATE
2009
IEEE
148views Hardware» more  DATE 2009»
15 years 9 months ago
A new design-for-test technique for SRAM core-cell stability faults
—Core-cell stability represents the ability of the core-cell to keep the stored data. With the rapid development of semiconductor memories, their test is becoming a major concern...
Alexandre Ney, Luigi Dilillo, Patrick Girard, Serg...
118
Voted
ICFEM
2000
Springer
15 years 6 months ago
Using Use Cases in Executable Z
Use Cases are a wide-spread informal method for specifying the requirements of a technical system in the early development phase. Z is a formal notation which aims to support, bes...
Wolfgang Grieskamp, Markus Lepper