Sciweavers

1968 search results - page 356 / 394
» System Ontology and its role in Software Development
Sort
View
CORR
2010
Springer
210views Education» more  CORR 2010»
13 years 8 months ago
Test Case Generation for Object-Oriented Imperative Languages in CLP
Testing is a vital part of the software development process. Test Case Generation (TCG) is the process of automatically generating a collection of test-cases which are applied to ...
Miguel Gómez-Zamalloa, Elvira Albert, Germ&...
CORR
2008
Springer
102views Education» more  CORR 2008»
13 years 8 months ago
Spreadsheet modelling for solving combinatorial problems: The vendor selection problem
Spreadsheets have grown up and became very powerful and easy to use tools in applying analytical techniques for solving business problems. Operations managers, production managers...
Pandelis G. Ipsilandis
DLS
2009
150views Languages» more  DLS 2009»
13 years 6 months ago
Fast type reconstruction for dynamically typed programming languages
Type inference and type reconstruction derive static types for program elements that have no static type associated with them. They have a wide range of usage, such as helping to ...
Frédéric Pluquet, Antoine Marot, Roe...
DGO
2011
277views Education» more  DGO 2011»
12 years 8 months ago
Application of the MINOE regulatory analysis framework: case studies
In this paper, we describe a tool to help holistically understand, research and analyze the relationship between an ecosystem model and the relevant laws. Specifically, a software...
Julia A. Ekstrom, Gloria T. Lau, Kincho H. Law, Ma...
BMCBI
2007
181views more  BMCBI 2007»
13 years 8 months ago
Versatile annotation and publication quality visualization of protein complexes using POLYVIEW-3D
Background: Macromolecular visualization as well as automated structural and functional annotation tools play an increasingly important role in the post-genomic era, contributing ...
Aleksey A. Porollo, Jaroslaw Meller