Sciweavers

414 search results - page 55 / 83
» Using Strongest Postconditions to Improve Software Quality
Sort
View
SPLC
2008
15 years 2 months ago
Enabling Verifiable Conformance for Product Lines
NASA is, with the rest of industry, turning to product-line engineering to reduce costs and improve quality by effectively managing reuse. Experience in industry has shown that it...
Robyn R. Lutz
COMPSAC
2009
IEEE
15 years 5 months ago
Tool Support for Design Pattern Recognition at Model Level
Given the rapid rise of model-driven software development methodologies, it is highly desirable that tools be developed to support the use of design patterns in this context. This...
Hong Zhu, Ian Bayley, Lijun Shan, Richard Amphlett
XPU
2005
Springer
15 years 6 months ago
An Approach for Assessing Suitability of Agile Solutions: A Case Study
Dynamic market situation and changing customer requirements generate more demands for the product development. Product releases should be developed and managed in short iterations ...
Minna Pikkarainen, Ulla Passoja
99
Voted
CODES
2011
IEEE
14 years 11 days ago
Adaptive resource management for simultaneous multitasking in mixed-grained reconfigurable multi-core processors
We propose a novel scheme for run-time management of mixedgrained reconfigurable fabric for the purpose of simultaneous multi-tasking in multi-core reconfigurable processors. Trad...
Waheed Ahmed, Muhammad Shafique, Lars Bauer, J&oum...
124
Voted
ICSM
1995
IEEE
15 years 4 months ago
Discovering relationships between service and customer satisfaction
Organizations spend significant resources tracking customer satisfaction and managing service delivery. Although a great deal of effort is expended in understanding what goes on w...
Michael Buckley, Ram Chillarege