Sciweavers

899 search results - page 26 / 180
» Using Method Engineering for the Construction of Agent-Orien...
Sort
View
CERA
2004
95views more  CERA 2004»
14 years 11 months ago
A New Design for Production (DFP) Methodology with Two Case Studies
Concurrent engineering (CE) design demands the consideration of product life-cycle issues in the early product design stage. Among various life-cycle issues, this work concentrate...
Lee Ming Wong, G. Gary Wang, Doug Strong
FM
2009
Springer
153views Formal Methods» more  FM 2009»
14 years 9 months ago
Iterative Refinement of Reverse-Engineered Models by Model-Based Testing
Abstract. This paper presents an iterative technique to accurately reverseengineer models of the behaviour of software systems. A key novelty of the approach is the fact that it us...
Neil Walkinshaw, John Derrick, Qiang Guo
CAISE
2004
Springer
15 years 5 months ago
Method Components - Rationale Revealed
The configuration of systems engineering methods is a challenging task. As a method engineer it is essential to have conceptual constructs capable of reducing the burden of details...
Kai Wistrand, Fredrik Karlsson
KBSE
2005
IEEE
15 years 5 months ago
Prufrock: a framework for constructing polytypic theorem provers
Current formal software engineering methodologies provide a vast array of languages for specifying correctness properties, as well as a wide assortment automated tools that aid in...
Justin Ward, Garrin Kimmell, Perry Alexander
BMCBI
2010
175views more  BMCBI 2010»
14 years 12 months ago
Towards high performance computing for molecular structure prediction using IBM Cell Broadband Engine - an implementation perspe
Background: RNA structure prediction problem is a computationally complex task, especially with pseudo-knots. The problem is well-studied in existing literature and predominantly ...
S. P. T. Krishnan, Sim Sze Liang, Bharadwaj Veerav...