Sciweavers

188 search results - page 36 / 38
» Reflections on Reflection in Agile Software Development
Sort
View
SAC
2008
ACM
13 years 8 months ago
Implementing Java modeling language contracts with AspectJ
The Java Modeling Language (JML) is a behavioral interface specification language (BISL) designed for Java. It was developed to improve functional software correctness of Java app...
Henrique Rebêlo, Sérgio Soares, Ricar...
BMCBI
2010
108views more  BMCBI 2010»
13 years 8 months ago
Predicting changes in protein thermostability brought about by single- or multi-site mutations
Background: An important aspect of protein design is the ability to predict changes in protein thermostability arising from single- or multi-site mutations. Protein thermostabilit...
Jian Tian, Ningfeng Wu, Xiaoyu Chu, Yunliu Fan
CAISE
2004
Springer
14 years 2 months ago
Achieving Enterprise Model Interoperability through the Model-Based Architecture Framework for Enterprises
This paper describes an ontology for enterprise modelling, The ontology has enabled conceptual integration of two different modelling methodologies, one based on UEML (Unified Ente...
Håvard D. Jørgensen, Oddrun Pauline O...
BMCBI
2005
126views more  BMCBI 2005»
13 years 8 months ago
GANN: Genetic algorithm neural networks for the detection of conserved combinations of features in DNA
Background: The multitude of motif detection algorithms developed to date have largely focused on the detection of patterns in primary sequence. Since sequence-dependent DNA struc...
Robert G. Beiko, Robert L. Charlebois
FM
2006
Springer
172views Formal Methods» more  FM 2006»
14 years 8 days ago
The Embedded Systems Design Challenge
We summarize some current trends in embedded systems design and point out some of their characteristics, such as the chasm between analytical and computational models, and the gap ...
Thomas A. Henzinger, Joseph Sifakis