Managing complexity in software development with formally based tools AbstractOver the past two decades, formal methods researchers have produced a number of powerful software tools designed to detect errors in, and to verify properties of, hardware designs, software systems, and software system artifacts....
The design and implementation of a parallel unstructured euler solver using software primitives." aiaa paper 92-0562... This paper relates the experiences gained and describes the software tools and hardware used in this study....
Software tools developed and employed for survey on central taiwan science park and data analyses.... The surveyed data are recorded in a database and analyzed by using two software tools, iData Analyzer and ESIR ArcGIS which are data mining tool and GIS packages, respectively....
Programs for chemoinformatics and computational medicinal chemistryPrograms provided herein are a part of a freely available database of annotated compound data sets and software tools developed in our laboratory for chemoinformatics and computational medicinal chemistry....
