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

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

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

Hooke: an open software platform for force spectroscopySANDALL, Massimo; BENEDETTI, Fabrizio; BRUCALE, Marco et al.Bioinformatics (Oxford. Print). 2009, Vol 25, Num 11, pp 1428-1430, issn 1367-4803, 3 p.Article

Software process measurement in the real world : Dealing with operating constraintsLAVAZZA, Luigi; MAURI, Marco.Lecture notes in computer science. 2006, pp 80-87, issn 0302-9743, isbn 3-540-34199-4, 1Vol, 8 p.Conference Paper

Ncvtk : A program for visualizing planetary dataPLETZER, Alexander; ZIEMLINSKI, Remik; COHEN, Jared et al.Lecture notes in computer science. 2005, issn 0302-9743, isbn 3-540-26032-3, 3Vol, part III ,838-841Conference Paper

Forensic investigation of certain types of mobile devicesLUTTENBERGER, Silas; CREUTZBURG, Reiner.Proceedings of SPIE, the International Society for Optical Engineering. 2011, Vol 7881, issn 0277-786X, isbn 978-0-8194-8418-5, 78810Q.1-78810Q.12Conference Paper

A Feature-Based Service Identification Method to Improve Productivity of Service-Oriented SystemKANG, Dongsu; SONG, Cheeyang; BAIK, Doo-Kwon et al.IEICE transactions on information and systems. 2010, Vol 93, Num 12, pp 3392-3395, issn 0916-8532, 4 p.Article

Using eclipse as a tool-integration platform for software developmentIEEE software. 2007, Vol 24, Num 2, pp 87-89, issn 0740-7459, 3 p.Article

Verified software : A grand challengeJONES, Cliff; O'HEARN, Peter; WOODCOCK, Jim et al.Computer (Long Beach, CA). 2006, Vol 39, Num 4, pp 93-95, issn 0018-9162, 3 p.Article

Logiciels de modélisation des structures : expression du besoin = Structural analysis softwares: expression of the needLEVESQUE, Jean-Raymond; CHAVANT, Clément.Techniques de l'ingénieur. Génie mécanique. 2003, Vol BD1, Num BM5016, pp BM5016.1-BM5016.18, issn 1762-8768Article

CAO: logiciel CATIAMORENTON, Pascal.Techniques de l'ingénieur. Génie mécanique. 2006, Vol BD1, Num BM5019, issn 1762-8768, BM5019.1-BM5019.8Article

Visualizing coercible simulationsCARNAHAN, Joseph C; REYNOLDS, Paul F; BROGAN, David C et al.Winter simulation conference. 2004, isbn 0-7803-8786-4, vol 1, part I, 411-419Conference Paper

Emulation of software faults: Representativeness and usefulnessMADEIRA, Henrique; DURAES, Joao; VIEIRA, Marco et al.Lecture notes in computer science. 2003, pp 137-159, issn 0302-9743, isbn 3-540-20224-2, 23 p.Conference Paper

Software Engineering for Space Exploration : Where Software Engineering MeetsLUTZ, Robyn.Computer (Long Beach, CA). 2011, Vol 44, Num 10, pp 41-46, issn 0018-9162, 6 p.Article

Best Practices of Blended Learning with ScreencastsJESUS, Rui; MOREIRA, Fernando.Frontiers in education : computer science & computer engineering. International conferenceWorldComp'2010. 2010, pp 310-315, isbn 1-60132-143-0, 6 p.Conference Paper

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

QRAS: The Quantitative Risk Assessment SystemGROEN, Frank J; SMIDTS, Carol S; MOSLEH, Ali et al.Proceedings. Annual Reliability and Maintainability Symposium. 2002, pp 349-355, issn 0149-144X, isbn 0-7803-7348-0, 7 p.Conference Paper

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

Software Tools-for Safety-Critical Systems According to DO-254KORNECKI, Andrew; BUTKA, Brian; ZALEWSKI, Janusz et al.Computer (Long Beach, CA). 2008, Vol 41, Num 12, pp 112-115, issn 0018-9162, 4 p.Article