MORT WorkSheet or how to make MORT analysis easyFERJENCIK, Milos; KURACINA, Richard.Journal of hazardous materials. 2008, Vol 151, Num 1, pp 143-154, issn 0304-3894, 12 p.Article

CociteSeer: a system to visualize large cocitation networksTSUNG TENG CHEN; YEN, David C.Electronic library. 2010, Vol 28, Num 4, pp 477-491, issn 0264-0473, 15 p.Article

Werkzeuggestützte Verifikation des Entwurfs von Software = Vérification basée sur les outils de conception logicielle = Tool-based verification of software designDRTIL, H.rtp. Regelungstechnische Praxis. 1984, Vol 26, Num 12, pp 540-544, issn 0340-4730Article

Abstract design and program translator: new tools for software designARCHIBALD, J. L; LEAVENWORTH, B. M; POWER, L. R et al.IBM systems journal. 1983, Vol 22, Num 3, pp 170-187, issn 0018-8670Article

Un outil de développement de logiciel: l'APL/P 800BRAFFORT, P; DECROIX, A.Acta electronica. 1983, Vol 25, Num 1, pp 35-40, issn 0001-558XArticle

Noise impact assessment on the basis of onsite acoustic noise immission measurements for a representative wind farmKALDELLIS, J. K; GARAKIS, K; KAPSALI, M et al.Renewable energy. 2012, Vol 41, pp 306-314, issn 0960-1481, 9 p.Article

Comparison of Verification Methods for OASIS Files : Hierarchical or Flat?KATO, Kokoro; TANIGUCHI, Yoshiyuld; ENDO, Masakazu et al.Proceedings of SPIE, the International Society for Optical Engineering. 2008, Vol 7028, pp 702834.1-702834.8, issn 0277-786X, isbn 978-0-8194-7243-4 0-8194-7243-3, 2Conference Paper

High level test of complex systemsMARGARIA, Tiziana.International journal on software tools for technology transfer (Print). 2005, Vol 7, Num 4, issn 1433-2779, 95 p.Serial Issue

Survey of software tools for energy efficiency in a communityMARKOVIC, Dragan; CVETKOVIC, Dragan; MASIC, Branislav et al.Renewable & sustainable energy review. 2011, Vol 15, Num 9, pp 4897-4903, issn 1364-0321, 7 p.Article

DNAfan: a software tool for automated extraction and analysis of user-defined sequence regionsGISEL, Andreas; PANETTA, Maria; GRILLO, Giorgio et al.Bioinformatics (Oxford. Print). 2004, Vol 20, Num 18, pp 3676-3679, issn 1367-4803, 4 p.Article

Evaluation framework for simulation softwareHLUPIC, V; IRANI, Z; PAUL, R. J et al.International journal, advanced manufacturing technology. 1999, Vol 15, Num 5, pp 366-382, issn 0268-3768Article

A dialogue development system for the design and implementation of user interfaces in adaROBINSON, J; BURNS, A.Computer journal (Print). 1985, Vol 28, Num 1, pp 22-28, issn 0010-4620Article

CEYX, version 15. I: Une initiation = CEYX, 15 version. I: An initiationHULLOT, J.-M.Rapports techniques ― I.N.R.I.A. 1985, Num 44, issn 0249-0803, 20 p.Serial Issue

CEYX-version 15. II: Programmer en CEYX = CEYX-15 version. II: Programming in CEYXHULLOT, J.-M.Rapports techniques ― I.N.R.I.A. 1985, Num 45, issn 0249-0803, 84 p.Serial Issue

COMPASSS (COMplex PAttern of Sequence Search Software), a simple and effective tool for mining complex motifs in whole genomesMACCARI, Giuseppe; GEMIGNANI, Federica; LANDI, Stefano et al.Bioinformatics (Oxford. Print). 2010, Vol 26, Num 14, pp 1777-1778, issn 1367-4803, 2 p.Article

An Evaluation of a Novel Software Tool for Detecting Changes in Physiological MonitoringANSERMINO, J. Mark; DANIELS, Jeremy P; HEWGILL, Randy T et al.Anesthesia and analgesia. 2009, Vol 108, Num 3, pp 873-880, issn 0003-2999, 8 p.Article

Reveling in ConstraintsJOHNSON, Bruce.Communications of the ACM. 2009, Vol 52, Num 9, pp 44-48, issn 0001-0782, 5 p.Article

The inevitable cycle : Graphical tools and programming paradigmsSOUKUP, Jiri; SOUKUP, Martin.Computer (Long Beach, CA). 2007, Vol 40, Num 8, pp 24-30, issn 0018-9162, 7 p.Article

Challenges and requirements for an effective trace exploration toolHAMOU-LHADJ, Abdelwahab; LETHBRIDGE, Timothy C; LIANJIANG FU et al.International Workshop on Program Comprehension. 2004, pp 70-78, isbn 0-7695-2149-5, 1Vol, 9 p.Conference Paper

Literate programmingSPOTNITZ, R.Computers & chemical engineering. 1998, Vol 22, Num 12, pp 1745-1747, issn 0098-1354Article

PEARL auf IBM-PC = Pearl sur IBM-PC = Pearl on IBM-PCFREVERT, L.Automatisierungstechnische Praxis. 1986, Vol 28, Num 1, issn 0178-2320, 39Article

EXPERT SYSTEMS: New approaches to computer-aided engineeringDYM, C. L.Engineering with computers. 1985, Vol 1, Num 1, pp 9-25, issn 0177-0667Article

Manuel OASIS (version février 1985) = OASIS ManualPAUL, E.1985, 4 p.Report

A unix-based microcomputer development systemHOYLE, B. S; O'CARROLL, L. M; PINCHES, C. A et al.Journal of microcomputer applications. 1984, Vol 7, Num 2, pp 99-109, issn 0745-7138Article

Integrating CameoSim and MuSES to support vehicle-terrain interaction in an IR synthetic sceneCURRAN, Allen R; CURLEE, John S.Proceedings of SPIE, the International Society for Optical Engineering. 2006, pp 62390E.1-62390E.9, issn 0277-786X, isbn 0-8194-6295-0, 1VolConference Paper