Sciweavers

899 search results - page 26 / 180
» Using Method Engineering for the Construction of Agent-Orien...
Sort
View
CERA
2004
95views more  CERA 2004»
13 years 8 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»
13 years 6 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
14 years 2 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
14 years 2 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»
13 years 9 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...