Search results for "Software Repository"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Juan Bicarregui, C. A. R. Hoare, J. C. P. Woodcock	The verified software repository: a step towards the verifying compiler.	Formal Asp. Comput.	2006	DBLP DOI BibTeX RDF	Grand challenges in computer science, Dependable systems evolution, Software engineering, Tools, Program verification, Verified software repository, Verifying compiler, Assertional reasoning
2	Jim Woodcock, Peter Gorm Larsen, Juan Bicarregui, John S. Fitzgerald	Formal methods: Practice and experience.	ACM Comput. Surv.	2009	DBLP DOI BibTeX RDF	formal methods surveys, verified software initiative, grand challenges, Experimental software engineering, verified software repository
2	Leo Freitas, Konstantinos Mokos, Jim Woodcock	Verifying the CICS File Control API with Z/Eves: An Experiment in the Verified Software Repository.	ICECCS	2007	DBLP DOI BibTeX RDF
2	Leo Freitas, Zheng Fu, Jim Woodcock	POSIX file store in Z/Eves: an experiment in the verified software repository.	ICECCS	2007	DBLP DOI BibTeX RDF
2	Leo Freitas, Jim Woodcock	Proving Theorems About JML Classes.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF	Grand Challenge in Verified Software, Java Collections Framework, Java HashMap class, linking theories, Z/Eves, formal specification, Z, software verification, JML, Java Modeling Language, mechanical theorem proving, Verified Software Repository
2	Sunghun Kim, Thomas Zimmermann, Miryung Kim, Ahmed E. Hassan, Audris Mockus, Tudor Gîrba, Martin Pinzger, E. James Whitehead Jr., Andreas Zeller	TA-RE: an exchange language for mining software repositories.	MSR	2006	DBLP DOI BibTeX RDF	software repository mining, prediction, analysis, corpus
2	Yaojin Yang, Claudio Riva	Scenarios for mining the software architecture evolution.	MSR	2006	DBLP DOI BibTeX RDF	mining software repository, architecture recovery, architecture evolution
2	Jim Woodcock, Leo Freitas	Z/Eves and the Mondex Electronic Purse.	ICTAC	2006	DBLP DOI BibTeX RDF	electronic finance, software archaeology, the Z notation, Z/Eves, security, refinement, theorem proving, smart cards, Grand Challenge, Verified Software Repository, Mondex
2	Songsri Tangsripairoj, Mansur H. Samadzadeh	Organizing and visualizing software repositories using the growing hierarchical self-organizing map.	SAC	2005	DBLP DOI BibTeX RDF	growing hierarchical self-organizing map, self-organizing map, software reuse, software repository
2	Cornelia Boldyreff, James Brittle, Chris Korhonen, Phyo Kyaw, Janet Lavery, David Nutter, Stephen Rank	Web-Based Support for Managing Large Collections of Software Artefact.	COMPSAC	2003	DBLP DOI BibTeX RDF	Software artefact, web-based support for collaborative development, software repository
2	Katy Börner, Yuezheng Zhou	A Software Repository for Education and Research in Information Visualization. (PDF / PS)	IV	2001	DBLP DOI BibTeX RDF
2	Yih-Farn Chen, Emden R. Gansner, Eleftherios Koutsofios	AC++ Data Model Supporting Reachability Analysis and Dead Code Detection.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	dead code detection, program database, reverse engineering, C++, static analysis, conceptual modeling, reachability analysis, software repository
2	Igor Jurisica	Similarity-based retrieval for diverse bookshelf software repository users.	CASCON	1997	DBLP DOI BibTeX RDF
2	Scott Henninger	Supporting the Construction and Evolution of Component Repositories.	ICSE	1996	DBLP BibTeX RDF	CodeFinder, PEEL, minimal initial structure, reusable software artifacts, software repository methods, classification, software engineering, software development, software reusability, domain analysis, retrieval system, component repositories
2	B. Macchini	Reusing Software with ESTRO (Evolving Software Repository).	SEKE	1992	DBLP DOI BibTeX RDF
1	Michael W. Godfrey, Jim Whitehead	Introduction to the special issue on software repository mining in 2009.	Empirical Software Engineering	2012	DBLP DOI BibTeX RDF
1	Lean Yu	An evolutionary programming based asymmetric weighted least squares support vector machine ensemble learning methodology for software repository mining.	Inf. Sci.	2012	DBLP DOI BibTeX RDF
1	Laura A. Dabbish, H. Colleen Stuart, Jason Tsay, James D. Herbsleb	Social coding in GitHub: transparency and collaboration in an open software repository.	CSCW	2012	DBLP DOI BibTeX RDF
1	Ralph Peters, Andy Zaidman	Evaluating the Lifespan of Code Smells using Software Repository Mining.	CSMR	2012	DBLP DOI BibTeX RDF
1	Shinsuke Matsumoto, Masahide Nakamura	Service Oriented Framework for Mining Software Repository.	IWSM/Mensura	2011	DBLP DOI BibTeX RDF
1	Kentaro Yoshimura	Mining Software Repository to Support Scalable Modeling of Product Lines.	SPLC Workshops	2010	DBLP BibTeX RDF
1	Frank Mulder, Andy Zaidman	Identifying cross-cutting concerns using software repository mining.	EVOL/IWPSE	2010	DBLP DOI BibTeX RDF
1	Johannes Feiner	The fluid software metadata framework (FSM).	EICS	2010	DBLP DOI BibTeX RDF	usability issues, framework, metrics, visualisation, development tools, web interface, software repositories
1	Leo Freitas, Jim Woodcock, Yichi Zhang	Verifying the CICS File Control API with Z/Eves: An experiment in the verified software repository.	Sci. Comput. Program.	2009	DBLP DOI BibTeX RDF
1	Leo Freitas, Jim Woodcock, Zheng Fu	POSIX file store in Z/Eves: An experiment in the verified software repository.	Sci. Comput. Program.	2009	DBLP DOI BibTeX RDF
1	Marco Glorie, Andy Zaidman, Arie van Deursen, Lennart Hofland	Splitting a large software repository for easing future software evolution - an industrial experience report.	Journal of Software Maintenance	2009	DBLP DOI BibTeX RDF
1	Neil McNab, Anthony Bryan	An Implementation of the Linux Software Repository Model for Other Operating Systems.	HotSWUp	2009	DBLP DOI BibTeX RDF
1	Hong-min Ren, Zhi-ying Yan, Jing-zhou Zhang	Design and Implementation of RAS-Based Open Source Software Repository.	FSKD	2009	DBLP DOI BibTeX RDF
1	Eirini Kalliamvakou, Georgios Gousios, Diomidis Spinellis, Nancy Pouloudi	Measuring Developer Contribution From Software Repository Data.	MCIS	2009	DBLP BibTeX RDF
1	Yungbum Jung, Hakjoo Oh, Kwangkeun Yi	Identifying static analysis techniques for finding non-fix hunks in fix revisions.	CIKM-DSMM	2009	DBLP DOI BibTeX RDF	static analysis, mining software repository
1	Abram Hindle, Michael W. Godfrey, Richard C. Holt	Mining recurrent activities: Fourier analysis of change events.	ICSE Companion	2009	DBLP DOI BibTeX RDF
1	Kim Herzig, Andreas Zeller	Mining the Jazz repository: Challenges and opportunities.	MSR	2009	DBLP DOI BibTeX RDF
1	Lucian Voinea, Alexandru Telea	Visual querying and analysis of large software repositories.	Empirical Software Engineering	2009	DBLP DOI BibTeX RDF	Repository mining, Software visualization, Evolution visualization
1	Georgios Gousios, Eirini Kalliamvakou, Diomidis Spinellis	Measuring developer contribution from software repository data.	MSR	2008	DBLP DOI BibTeX RDF	software repositories, contribution
1	Rudolf Ramler, Klaus Wolfmaier	Issues and effort in integrating data from heterogeneous software repositories and corporate databases.	ESEM	2008	DBLP DOI BibTeX RDF	software cockpit, data integration, software repository
1	Andrew Meneely, Laurie Williams, Edward F. Gehringer	ROSE: a repository of education-friendly open-source projects.	ITiCSE	2008	DBLP DOI BibTeX RDF	open-source software repository, software engineering curriculum
1	David Schuler, Thomas Zimmermann	Mining usage expertise from version archives.	MSR	2008	DBLP DOI BibTeX RDF	expertise recommendation, computer-supported cooperative work, software repository
1	Shen Zhang, Yongji Wang, Ye Yang, Junchao Xiao	Capability Assessment of Individual Software Development Processes Using Software Repositories and DEA.	ICSP	2008	DBLP DOI BibTeX RDF	individual software development process (IDP), multi-input-multi-output (MIMO), data envelopment analysis (DEA), software repository
1	Leo Freitas, Jim Woodcock	Mechanising Mondex with Z/Eves.	Formal Asp. Comput.	2008	DBLP DOI BibTeX RDF	Electronic finance, Grand Challenge in Verified Software, Software archaeology, Z/Eves, Security, Verification, Refinement, Theorem proving, Smart cards, Correctness, Z notation, Grand challenges, Verified Software Repository, Mondex
1	Jim Woodcock, Susan Stepney, David Cooper, John A. Clark, Jeremy Jacob	The certification of the Mondex electronic purse to ITSEC Level E6.	Formal Asp. Comput.	2008	DBLP DOI BibTeX RDF	Electronic finance, Grand Challenge in Verified Software, ITSEC Level E6, Security, Verification, Refinement, Theorem proving, Smart cards, Certification, Correctness, Z notation, Grand challenges, Verified Software Repository, Mondex
1	Mathias Pohl, Stephan Diehl	What dynamic network metrics can tell us about developer roles.	CHASE	2008	DBLP DOI BibTeX RDF	identifying roles, social network analysis
1	Rajesh Kumar Bhatia, Mayank Dave, Ramesh C. Joshi	Ant colony based rule generation for reusable software component retrieval.	ISEC	2008	DBLP DOI BibTeX RDF	software reuse, software component, ant colony algorithms
1	Robert Gobeille	The FOSSology project.	MSR	2008	DBLP DOI BibTeX RDF	license analysis
1	Kentaro Yoshimura, Fumio Narisawa, Koji Hashimoto, Tohru Kikuno	FAVE: factor analysis based approach for detecting product line variability from change history.	MSR	2008	DBLP DOI BibTeX RDF	software product lines, variability, factor analysis, reusable software
1	Mohammad-Amin Jashki, Reza Zafarani, Ebrahim Bagheri	Towards a more efficient static software change impact analysis method.	PASTE	2008	DBLP DOI BibTeX RDF
1	Phanarut Srichetta, Songsri Tangsripairoj	Using Social Network Analysis to Better Understand the Dependencies in UML Use Cases Collection.	SNPD	2008	DBLP DOI BibTeX RDF	Requirements and Design Artifacts, Social Network Analysis, Use Case Model
1	Jack Dongarra, Gene H. Golub, Eric Grosse, Cleve B. Moler, Keith Moore	Netlib and NA-Net: Building a Scientific Computing Community.	IEEE Annals of the History of Computing	2008	DBLP DOI BibTeX RDF
1	Jörn David	Recommending Software Artifacts from Repository Transactions.	IEA/AIE	2008	DBLP DOI BibTeX RDF	repository mining, artifact recommendation, recurrent neural networks, latent semantic indexing, Change impact analysis
1	Shinpei Hayashi, Motoshi Saeki	Extracting Prehistories of Software Refactorings from Version Archives.	LKR	2008	DBLP DOI BibTeX RDF
1	Romain Robbes	Mining a Change-Based Software Repository.	MSR	2007	DBLP DOI BibTeX RDF
1	Abraham Bernstein, Jayalath Ekanayake, Martin Pinzger	Improving defect prediction using temporal features and non linear models.	IWPSE	2007	DBLP DOI BibTeX RDF	decision tree learner, mining software repository, defect prediction
1	Yan Wu, Harvey P. Siy, Mansour Zand, Victor L. Winter	Construction of Ontology-Based Software Repositories by Text Mining.	International Conference on Computational Science	2007	DBLP DOI BibTeX RDF	Ontology, Text Mining, Software Repository, Early Aspects
1	Venkata U. B. Challagulla, Farokh B. Bastani, Raymond A. Paul, Wei-Tek Tsai, Yinong Chen	A Machine Learning-Based Reliability Assessment Model for Critical Software Systems.	COMPSAC	2007	DBLP DOI BibTeX RDF
1	Huzefa H. Kagdi, Jonathan I. Maletic	Combining Single-Version and Evolutionary Dependencies for Software-Change Prediction.	MSR	2007	DBLP DOI BibTeX RDF
1	Christoph Kiefer, Abraham Bernstein, Jonas Tappolet	Mining Software Repositories with iSPAROL and a Software Evolution Ontology.	MSR	2007	DBLP DOI BibTeX RDF
1	Ming-Yang (Jerry) Lin, Robert Amor, Ewan D. Tempero	A Java Reuse Repository for Eclipse using LSI.	ASWEC	2006	DBLP DOI BibTeX RDF	Latent Semantic Indexing, Software Repositories, Code Reuse
1	Richard A. Pyne, Ezra Kaahwa Mugisa	Retrieving Software Components from a Heterogeneous Repository: a Semantic Syntactic Approach.	ECBS	2006	DBLP DOI BibTeX RDF
1	Babu Sundaram, Barbara M. Chapman, Bernard Li, Mark Mayo, Asim S. Siddiqui, Steven J. M. Jones	Sun Grid Engine Package for OSCAR - A Google Summer Of Code 2005 Project.	HPCS	2006	DBLP DOI BibTeX RDF
1	Eugenio Capra	Mining open source web repositories to measure the cost of evolutionary reuse.	ICDIM	2006	DBLP DOI BibTeX RDF
1	Tiziana Margaria, Christian Kubczak, Bernhard Steffen, Stefan Naujokat	The FMICS-jETI Platform: Status and Perspectives.	ISoLA	2006	DBLP DOI BibTeX RDF
1	Curtis Schofield, Brendan Tansey, Zhenchang Xing, Eleni Stroulia	Digging the Development Dust for Refactorings.	ICPC	2006	DBLP DOI BibTeX RDF
1	Leo Freitas, Ana Cavalcanti, Jim Woodcock	Taking Our Own Medicine: Applying the Refinement Calculus to State-Rich Refinement Model Checking.	ICFEM	2006	DBLP DOI BibTeX RDF
1	Jaime Spacco, Jaymie Strecker, David Hovemeyer, William Pugh	Software repository mining with Marmoset: an automated programming project snapshot and testing system.	ACM SIGSOFT Software Engineering Notes	2005	DBLP DOI BibTeX RDF
1	Richard A. Pyne, Sophia McNamarah, Natasha Crooks, Kevon Green, Sanique Hall, Sabrina Johnson, Debbie-Ann Neil	Heterogeneous Software Repository: MPR a Text-based Model.	Automation, Control, and Information Technology	2005	DBLP BibTeX RDF
1	Jaime Spacco, Jaymie Strecker, David Hovemeyer, William Pugh	Software repository mining with Marmoset: an automated programming project snapshot and testing system.	MSR	2005	DBLP DOI BibTeX RDF
1	Shih-Kun Huang, Kang-min Liu	Mining version histories to verify the learning process of Legitimate Peripheral Participants.	MSR	2005	DBLP DOI BibTeX RDF	Legitimate Peripheral Participants (LPP), open boundary, open source software development process
1	Chadd C. Williams, Jeffrey K. Hollingsworth	Recovering system specific rules from software repositories.	MSR	2005	DBLP DOI BibTeX RDF
1	Shih-Kun Huang, Kang-min Liu	Mining version histories to verify the learning process of Legitimate Peripheral Participants.	ACM SIGSOFT Software Engineering Notes	2005	DBLP DOI BibTeX RDF	Legitimate Peripheral Participants (LPP), open boundary, open source software development process
1	Chadd C. Williams, Jeffrey K. Hollingsworth	Recovering system specific rules from software repositories.	ACM SIGSOFT Software Engineering Notes	2005	DBLP DOI BibTeX RDF
1	Shinji Kawaguchi, Pankaj K. Garg, Makoto Matsushita, Katsuro Inoue	MUDABlue: An Automatic Categorization System for Open Source Repositories.	APSEC	2004	DBLP DOI BibTeX RDF
1	Gregorio Robles, Jesús M. González-Barahona	Executable Source Code and Non-Executable Source Code: Analysis and Relationships.	SCAM	2004	DBLP DOI BibTeX RDF
1	Hidehiro Fujio	The Feelfem System - A Repository System for the Finite Element Method.	IPDPS	2003	DBLP DOI BibTeX RDF
1	Harry M. Sneed	Ein universelles Software-Repository.	Software Management	2002	DBLP BibTeX RDF
1	Harry M. Sneed	Transforming Procedural Program Structures to Object-Oriented Class Structures for the Purpose of Populating a Common Software Repository. (PDF / PS)	ICSM	2002	DBLP DOI BibTeX RDF
1	Shirley Moore, A. Jerry Baker, Jack Dongarra	Active netlib: an active mathematical software collection for inquiry-based computational science & engineering education.	JCDL	2002	DBLP DOI BibTeX RDF	education, software reuse, computational science, linear algebra, engineering, numerical analysis, learning environments, numerical methods, interactive interfaces, solvers, mathematical software, computational problems, computational servers
1	Shirley Moore, A. Jerry Baker, Jack Dongarra	Active netlib: an active mathematical software collection for inquiry-based computational science & engineering education.	JCDL	2002	DBLP DOI BibTeX RDF	education, software reuse, computational science, linear algebra, engineering, numerical analysis, learning environments, numerical methods, interactive interfaces, solvers, mathematical software, computational problems, computational servers
1	Koichi Terai, Masahiko Sawai, Naoki Sugiura, Noriaki Izumi, Takahira Yamaguchi	Managing Business Models for Business Application Development.	PAKM	2002	DBLP DOI BibTeX RDF
1	Hai Eric Lam, Piyush Maheshwari	Task and Team Management in the Distributed Software Project Management Tool.	COMPSAC	2001	DBLP DOI BibTeX RDF
1	I-Ling Yen, Latifur Khan, Balakrishnan Prabhakaran, Farokh B. Bastani, John Linn	An On-Line Repository for Embedded Software. (PDF / PS)	ICTAI	2001	DBLP DOI BibTeX RDF
1	Anthony Cox, Charles L. A. Clarke, Susan Elliott Sim	A model independent source code repository.	CASCON	1999	DBLP DOI BibTeX RDF
1	Manfred Kamp	Managing a Multi-File, Multi-Language Software Repository for Program Comprehension Tools 3/4 A Generic Approach. (PDF / PS)	IWPC	1998	DBLP DOI BibTeX RDF
1	Tatsuya Kawahara, Tetsunori Kobayashi, Kazuya Takeda, Nobuaki Minematsu, Katsunobu Itou, Mikio Yamamoto, Atsushi Yamada, Takehito Utsuro, Kiyohiro Shikano	Sharable software repository for Japanese large vocabulary continuous speech recognition.	ICSLP	1998	DBLP BibTeX RDF
1	José Luís Barros Justo	A repository to support requirement specifications reuse.	ISCNZ	1996	DBLP DOI BibTeX RDF	requirement specifications reuse, new developments, program bugs, design-by reuse methodology, design-for reuse methodology, representative descriptors, component engineering, classification, software tools, software quality, software reuse, time, computer aided software engineering, software repository, component reuse, abstraction levels, indexing techniques, software methodologies, software cost
1	Shirley Browne, Jack Dongarra, Eric Grosse, Tom Rowan	The Netlib Mathematical Software Repository.	D-Lib Magazine	1995	DBLP BibTeX RDF
1	Shirley Browne, Jack Dongarra, Stan Green, Keith Moore, Theresa Pepin, Tom Rowan, Reed Wade	Location-Independent Naming for Virtual Distributed Software Repositories.	SSR	1995	DBLP DOI BibTeX RDF
1	Morten Kromberg, Martin Gfeller	An Application Development Platform.	APL	1990	DBLP DOI BibTeX RDF	APL
1	Richard Conn	The Ada Software Repository.	COMPCON	1987	DBLP BibTeX RDF