Sciweavers

439 search results - page 14 / 88
» Program Generators and the Tools to Make Them
Sort
View
90
Voted
JUCS
2006
109views more  JUCS 2006»
14 years 11 months ago
Verifying Real-Time Properties of tccp Programs
: The size and complexity of software systems are continuously increasing, which makes them difficult and labor-intensive to develop, test and evolve. Since concurrent systems are ...
María Alpuente, María-del-Mar Gallar...
98
Voted
ENTCS
2007
113views more  ENTCS 2007»
14 years 11 months ago
The Interactive Curry Observation Debugger iCODE
Debugging by observing the evaluation of expressions and functions is a useful approach for finding bugs in lazy functional and functional logic programs. However, adding and rem...
Parissa H. Sadeghi, Frank Huch
112
Voted
BMCBI
2008
111views more  BMCBI 2008»
14 years 11 months ago
A perl package and an alignment tool for phylogenetic networks
Background: Phylogenetic networks are a generalization of phylogenetic trees that allow for the representation of evolutionary events acting at the population level, like recombin...
Gabriel Cardona, Francesc Rosselló, Gabriel...
80
Voted
HICSS
1995
IEEE
93views Biometrics» more  HICSS 1995»
15 years 3 months ago
Generating optimization-based decision support systems
This paper discusses the implementation of optimizaiion based DSSs. A n approach is proposed that will enable OR/MS analysts to develop this kind of system much more eociently tha...
Arthur Geoffrion, Sergio Maturana
CHI
2011
ACM
14 years 3 months ago
The concept maps method as a tool to evaluate the usability of APIs
Application programming interfaces (APIs) are the interfaces to existing code structures, such as widgets, frameworks, or toolkits. Therefore, they very much do have an impact on ...
Jens Gerken, Hans-Christian Jetter, Michael Zö...