The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "ACM Trans. Softw. Eng. Methodol."( http://dblp.L3S.de/Venues/ACM_Trans._Softw._Eng._Methodol. )

URL (DBLP): http://dblp.uni-trier.de/db/journals/tosem

Publication years (Num. hits)
1992 (17) 1993-1994 (25) 1995-1996 (25) 1997-1998 (27) 1999-2000 (27) 2001-2002 (26) 2003-2004 (24) 2005-2006 (26) 2007 (23) 2008 (19) 2009-2010 (28) 2011 (18) 2012 (19) 2013 (38) 2014 (47) 2015 (24) 2016 (17) 2017-2018 (38) 2019 (28)
Publication types (Num. hits)
article(496)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 812 occurrences of 529 keywords

Results
Found 496 publication records. Showing 496 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Peter A. Whigham, Caitlin A. Owen, Stephen G. MacDonell A Baseline Model for Software Effort Estimation. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1John Bible, Gregg Rothermel, David S. Rosenblum A comparative study of coarse- and fine-grained safe regression test-selection techniques. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF regression testing, regression test selection
1Antonio Durante, Riccardo Focardi, Roberto Gorrieri A compiler for analyzing cryptographic protocols using noninterference. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF process algebra, cryptographic protocols, automatic verification, noninterference, verification tool
1Shahar Maoz, David Harel, Asaf Kleinbort A Compiler for Multimodal Scenarios: Transforming LSCs into AspectJ. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Eric M. Dashofy, André van der Hoek, Richard N. Taylor A comprehensive approach for the development of modular software architecture description languages. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF ArchStudio 3, xADL 2.0, XML, Architecture description languages
1Michal Young, Richard N. Taylor, David L. Levine, Kari A. Nies, Debra Brodbeck A Concurrency Analysis Tool Suite for Ada Programs: Rational, Design, and Preliminary Experience. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF Ada, concurrency, static analysis, tool integration, software development environments
1Richard Banach, Huibiao Zhu, Wen Su, Xiaofeng Wu A Continuous ASM Modelling Approach to Pacemaker Sensing. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Alberto Coen-Porisini, Matteo Pradella, Matteo Rossi, Dino Mandrioli A formal approach for designing CORBA-based applications. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF formal methods, object orientation, frameworks, temporal logic, CORBA, control systems, architectural design, supervision
1Robert Allen, David Garlan A Formal Basis for Architectural Connection. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF WRIGHT, module interconnection, model-checking, formal models, software analysis
1Miguel Felder, Mauro Pezzè A formal design notation for real-time systems. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Formal design specification, design of real time systems, formal analysis of design specification, structured design
1Yuanfang Cai, Kevin J. Sullivan A formal model for automated software modularity and evolvability analysis. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Nalini Venkatasubramanian, Carolyn L. Talcott, Gul Agha A formal model for reasoning about adaptive QoS-enabled middleware. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF meta-object models, quality-of-service, multimedia, reflection, actors, theoretical foundations, Middleware services
1Manfred Broy, Ingolf H. Krüger, Michael Meisinger A formal model of services. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF assumption/commitment specifications, software architecture, Components, services, service engineering
1Tim Miller, Paul A. Strooper A framework and tool support for the systematic testing of model-based specifications. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF specification animation, testgraphs, testing, Formal verification
1Daniel J. Barrett, Lori A. Clarke, Peri L. Tarr, Alexander E. Wise A Framework for Event-Based Software Integration. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Polylith, control integration, interoperability, CORBA, reference model, software integration, FIELD, event-based systems
1Gianpaolo Cugola, Elisabetta Di Nitto, Alfonso Fuggetta, Carlo Ghezzi A Framework for Formalizing Inconsistencies and Deviations in Human-Centered Systems. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF business processes, software processes, formal model, inconsistency, deviation, human-centered systems
1Gennaro Costagliola, Vincenzo Deufemia, Giuseppe Polese A framework for modeling and implementing visual notations with applications to software engineering. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF software engineering models, visual grammars, visual notations, UML, metamodeling, LR parsing, meta-CASE
1Macneil Shonle, William G. Griswold, Sorin Lerner A framework for the checking and refactoring of crosscutting concepts. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Devdatta Kulkarni, Tanvir Ahmed 0002, Anand Tripathi A Generative Programming Framework for Context-Aware CSCW Applications. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Panagiotis Louridas, Pericles Loucopoulos A generic model for reflective design. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF reflective, development, participative, design rationale, design aids
1Louise E. Moser, Y. S. Ramakrishna, George Kutty, P. M. Melliar-Smith, Laura K. Dillon A Graphical Environment for the Design of Concurrent Real-Time Systems. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF real-time systems, graphical user interface, temporal logic, concurrent systems, automated deduction, formal specification and verification
1Laura K. Dillon, George Kutty, Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna A Graphical Interval Logic for Specifying Concurrent Systems. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF automated proof-checking, graphical interval logic, formal specifications, temporal logic, visual languages, concurrent systems, timing diagrams
1Ernesto Damiani, Maria Grazia Fugini, Carlo Bellettini A Hierarchy-aware Approach to Faceted Classification of Objected-Oriented Components. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF software reuse, user feedback, code analysis, component repositories, component retrieval
1Kevin L. Mills, Hassan Gomaa A knowledge-based method for inferring semantic concepts from visual models of system behavior. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF concept classification systems, software design methods, concurrent systems, semantic data modeling, visual modeling, knowledge-based software engineering
1Gordon Fraser, Andrea Arcuri A Large-Scale Evaluation of Automated Unit Test Generation Using EvoSuite. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Luciano Baresi, Angelo Morzenti, Alfredo Motta, Mohammad Mehdi Pourhashem Kallehbasti, Matteo Rossi A Logic-Based Approach for the Verification of UML Timed Models. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Alessandro Fantechi, Stefania Gnesi, Alessandro Lapadula, Franco Mazzanti, Rosario Pugliese, Francesco Tiezzi A logical verification methodology for service-oriented computing. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Paul Klint A Meta-Environment for Generating Programming Environments. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Mary Jean Harrold, Rajiv Gupta 0001, Mary Lou Soffa A Methodology for Controlling the Size of a Test Suite. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF software engineering, software maintenance, regression testing, test suite reduction, hitting set
1Lucas Layman, Victor R. Basili, Marvin V. Zelkowitz A Methodology for Exposing Risk in Achieving Emergent System Properties. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Lorenzo Martignoni, Roberto Paleari, Alessandro Reina, Giampaolo Fresi Roglia, Danilo Bruschi A methodology for testing CPU emulators. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Gregg Rothermel, Margaret M. Burnett, Lixin Li, Christopher DuPuis, Andrei Sheretov A methodology for testing spreadsheets. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF software testing, spreadsheets
1Lee Naish, Hua Jie Lee, Kotagiri Ramamohanarao A model for spectra-based software diagnosis. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Gian Luigi Ferrari, Stefania Gnesi, Ugo Montanari, Marco Pistore A model-checking verification environment for mobile processes. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Name-passing process calculi, security, modal logics, transition systems, mobile processes
1Juan de Lara, Esther Guerra A Posteriori Typing for Model-Driven Engineering: Concepts, Analysis, and Applications. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jehad Al-Dallal, Lionel C. Briand A Precise Method-Method Interaction-Based Cohesion Metric for Object-Oriented Classes. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Wuu Yang, Susan Horwitz, Thomas W. Reps A Program Integration Algorithm that Accommodates Semantics-Preserving Transformations. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF coarsest partition, flow dependence, program integration, program representation graph, data-flow analysis, data dependence, control dependence, program dependence graph, static-single-assignment form
1Philip J. Bernhard A Reduced Test Suite for Protocol Conformance Testing. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF heuristics
1Victor R. Basili, Gianluigi Caldiera, Giovanni Cantone A Reference Architecture for the Component Factory. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF component factory, reusability, reference architecture, experience factory
1Zhenyu Chen 0001, Tsong Yueh Chen, Baowen Xu A revisit of fault class hierarchies in general boolean specifications. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Gregg Rothermel, Mary Jean Harrold A Safe, Efficient Regression Test Selection Technique. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF regression testing, regression test selection, selective retest
1Jean Berstel, Stefano Crespi-Reghizzi, Gilles Roussel, Pierluigi San Pietro A scalable formal method for design and automatic checking of user interfaces. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF applications of model checking, Human-computer interaction (HCI), GUI design
1Bingchiang Jeng, Elaine J. Weyuker A Simplified Domain-Testing Strategy. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF domain testing, software testing
1Frank Tip, T. B. Dinesh A slicing-based approach for locating type errors. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF semantics-based tool generation, abstract interpretation, program slicing, type-checking, static semantics
1Kapil Anand, Khaled Elwazeer, Aparna Kotha, Matthew Smithson, Rajeev Barua, Angelos D. Keromytis A Stack Memory Abstraction and Symbolic Analysis Framework for Executables. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Tracy Hall, Nathan Baddoo, Sarah Beecham, Hugh Robinson, Helen Sharp A systematic review of theory use in studies investigating the motivations of software engineers. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF software engineering, Motivation
1Michael Unterkalmsteiner, Robert Feldt, Tony Gorschek A taxonomy for requirements engineering and software test alignment. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Xiaoyuan Xie, Tsong Yueh Chen, Fei-Ching Kuo, Baowen Xu A theoretical analysis of the risk evaluation formulas for spectrum-based fault localization. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1H. Rebecca Callison A Time-Sensitive Object Model for Real-Time Systems. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF programming techniques, real-time processing models, fault tolerance, concurrency, timing constraints, object models
1Paul Jennings, Arka P. Ghosh, Samik Basu 0001 A two-phase approximation for model checking probabilistic unbounded until properties of probabilistic systems. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Dan Hao, Lingming Zhang, Lu Zhang 0023, Gregg Rothermel, Hong Mei A Unified Test Case Prioritization Approach. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Chunqing Chen, Jin Song Dong, Jun Sun 0001, Andrew P. Martin A verification system for interval-based specification languages. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Laura K. Dillon A Visual Model for Ada Tasking. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF contour model, visual execution model, Ada
1David Lizcano, Fernando Alonso, Javier Soriano, Genoveva López Gómez A web-centred approach to end-user software engineering. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Carl A. Gunter Abstracting dependencies between software configuration items. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF mathematical models of build dependencies, Petri nets, abstract interpretation, software configuration management
1Jaymie Strecker, Atif M. Memon Accounting for defect characteristics in evaluations of testing techniques. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Don S. Batory, Clay Johnson, Bob MacDonald, Dale von Heeder Achieving extensibility through product-lines and domain-specific languages: a case study. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF simulation, refinements, domain-specific languages, aspects, GenVoca
1Hadi Hemmati, Andrea Arcuri, Lionel C. Briand Achieving scalable model-based testing through test case diversity. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Dharmalingam Ganesan, Mikael Lindvall ADAM: External dependency-driven architecture discovery and analysis of quality attributes. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1James J. Hunt, Walter F. Tichy Addendum to "Delta Algorithms: An Empirical Analysis". Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF benchmark, differencing, delta encoding
1Pamela Zave Address translation in telecommunication features. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF network addressing, formal methods, network security, requirements, telecommunications, network protocols, feature interaction, Component architecture
1Daniel Jackson 0001 Alloy: a lightweight object modelling notation. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF first-order logic, Object models, Z specification language
1Nirmit Desai, Amit K. Chopra, Munindar P. Singh Amoeba: A methodology for modeling and evolving cross-organizational business processes. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Business process modeling, business protocols, requirements evolution
1Pingyu Zhang, Sebastian G. Elbaum Amplifying Tests to Validate Exception Handling Code: An Extended Study in the Mobile Application Domain. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Chetan Arora 0002, Mehrdad Sabetzadeh, Shiva Nejati, Lionel C. Briand An Active Learning Approach for Improving the Accuracy of Automated Domain Model Extraction. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Hong Zhu, Ian Bayley An algebra of design patterns. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Francesco Parisi-Presicce, Alfonso Pierantonio An Algebraic Theory of Class Specification. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF interconnection mechanisms, modularity, inheritance, algebraic specifications
1Anders Mattsson, Brian Fitzgerald 0001, Björn Lundell, Brian Lings An Approach for Modeling Architectural Design Rules in UML and its Application to Embedded Software. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Parastoo Mohagheghi, Reidar Conradi An empirical investigation of software reuse benefits in a large telecom product. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF fault density, standardization, Software reuse, risks, product family
1Ian Sommerville, Jane Ransom An empirical study of industrial requirements engineering process assessment and improvement. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF requirements engineering, Software process improvement, empirical software engineering, process measurement
1Yuanyuan Zhang 0003, Mark Harman, Gabriela Ochoa, Guenther Ruhe, Sjaak Brinkkemper An Empirical Study of Meta- and Hyper-Heuristic Search for Multi-Objective Release Planning. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Todd L. Graves, Mary Jean Harrold, Jung-Min Kim, Adam A. Porter, Gregg Rothermel An empirical study of regression test selection techiques. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF empirical study, regression testing, selective retest
1Timothy M. Meyers, David W. Binkley An empirical study of slice-based cohesion and coupling metrics. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF software intervention, reengineering, coupling, Slicing, cohesion
1Gail C. Murphy, David Notkin, William G. Griswold, Erica S.-C. Lan An Empirical Study of Static Call Graph Extractors. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF software system analysis, static analysis, empirical study, design space, call graphs
1David W. Binkley, Nicolas Gold, Mark Harman An empirical study of static program slice size. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF slice size, Program slicing
1Michele Tufano, Cody Watson, Gabriele Bavota, Massimiliano Di Penta, Martin White, Denys Poshyvanyk An Empirical Study on Learning Bug-Fixing Patches in the Wild via Neural Machine Translation. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Scott Henninger An Evolutionary Approach to Constructing Effective Software Reuse Repositories. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF information retrieval, software reuse, component repositories
1A. Jefferson Offutt, Ammei Lee, Gregg Rothermel, Roland H. Untch, Christian Zapf An Experimental Determination of Sufficient Mutant Operators. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1G. Michael Schneider, Johnny Martin, Wei-Tek Tsai An Experimental Study of Fault Detection In User Requirements Documents. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF fault detection, inspections, user requirements
1Man Fai Lau, Yuen-Tak Yu An extended fault class hierarchy for specification-based testing. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Fault class analysis, software testing, specification-based testing, test case generation
1Yuming Zhou, Baowen Xu, Hareton Leung, Lin Chen 0015 An in-depth study of the potentially confounding effect of class size in fault prediction. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Scott D. Fleming, Christopher Scaffidi, David Piorkowski, Margaret M. Burnett, Rachel K. E. Bellamy, Joseph Lawrance, Irwin Kwan An Information Foraging Theory Perspective on Tools for Debugging, Refactoring, and Reuse Tasks. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Idit Keidar, Roger Khazan, Nancy A. Lynch, Alexander A. Shvartsman An inheritance-based technique for building simulation proofs incrementally. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Inheritance by specialization and subclassing for extension, incremental proof techniques, proof reuse, simulation proofs, refinements
1Tsong Yueh Chen, Robert G. Merkel An upper bound on software testing effectiveness. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF failure patterns, failure-causing inputs, testing effectiveness metrics, Software testing, random testing, adaptive random testing
1Julien Ponge, Boualem Benatallah, Fabio Casati, Farouk Toumani Analysis and applications of timed service protocols. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Stanley M. Sutton Jr., Dennis Heimbigner, Leon J. Osterweil APPL/A: A Language for Software Process Programming. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF multiparadigm programming languages, software process programming, Ada, transaction management, consistency management, APPL
1Sastry Duri, Ugo A. Buy, R. Devarapalli, Sol M. Shatz Application and Experimental Evaluation of State Space Reduction Methods for Deadlock Analysis in Ada. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF concurrency analysis, experimental evaluation, deadlock detection, automatic analysis, Ada tasking, state space explosion
1Alfonso Fuggetta, Luigi Lavazza, Sandro Morasca, Stefano Cinti, Giandomenico Oldano, Elena Orazi Applying GQM in an Industrial Software Factory. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF measurement cost, measurement process, GQM
1Marco Bernardo 0001, Paolo Ciancarini, Lorenzo Donatiello Architecting families of software systems with process algebras. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Architectural mismatch detection, software architectures, process algebras, architectural styles
1Robrecht Haesevoets, Danny Weyns, Tom Holvoet Architecture-centric support for adaptive service collaborations. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Razieh Behjati, Shiva Nejati, Lionel C. Briand Architecture-Level Configuration of Large-Scale Embedded Software Systems. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Daniel Jackson 0001 Aspect: Detecting Bugs with Abstract Dependences. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF dataflow dependences, partial verification, partial specification
1Tankut Akgul, Vincent John Mooney III Assembly instruction level reverse execution for debugging. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF reverse code generation, reverse execution, Debugging
1Vincenzo Ambriola, Reidar Conradi, Alfonso Fuggetta Assessing Process-Centered Software Engineering Environments. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF software process, CASE, process modeling languages, process-centered software engineering environments, enabling technology
1Filippo Ricca, Giuseppe Scanniello, Marco Torchiano, Gianna Reggio, Egidio Astesiano Assessing the Effect of Screen Mockups on the Comprehension of Functional Requirements. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Santiago A. Vidal, Iñaki berra, Santiago Zulliani, Claudia A. Marcos, J. Andrés Díaz Pace Assessing the Refactoring of Brain Methods. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Tao Yue 0002, Lionel C. Briand, Yvan Labiche aToucan: An Automated Framework to Derive UML Analysis Models from Use Case Models. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Daniel Di Nardo, Fabrizio Pastore, Lionel C. Briand Augmenting Field Data for Testing Systems Subject to Incremental Requirements Changes. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Rolf Adams, Walter F. Tichy, Annette Weinert Authors' Response. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Alexander Egyed Automated abstraction of class diagrams. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Class abstraction, class patterns, unified modeling language, reverse engineering, transformation, class diagrams
Displaying result #1 - #100 of 496 (100 per page; Change: )
Pages: [1][2][3][4][5][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license