Search results for "software engineering tool"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Anthony Barnes, Jonathan Gray	COTS, Workflow, and Software Process Management: An Exploration of Software Engineering Tool Development.	Australian Software Engineering Conference	2000	DBLP DOI BibTeX RDF	workflow, Process management, software engineering tool
2	Michael W. Godfrey, Dan Grossman	JDuck: building a software engineering tool in Java as a CS2 project.	SIGCSE	1999	DBLP DOI BibTeX RDF
2	Randall W. Lichota, Grace L. Hammonds, Stephen H. Brackin	Verifying The Correctness Of Cryptographic Protocols Using "Convince".	ACSAC	1996	DBLP DOI BibTeX RDF	Convince, theorem proving component, commercial computer aided software engineering tool, StP/OMT, textual notations, Higher Order Logic theorem prover, protocols, cryptographic protocols, authentication protocols, front-end, belief logic, correctness verification, automated support
1	Maxime Perrotin, Eric Conquet, Julien Delange, Andre Schiele, Thanassis Tsiodras	TASTE: A Real-Time Software Engineering Tool-Chain Overview, Status, and Future.	SDL Forum	2011	DBLP DOI BibTeX RDF
1	Hazem Qattous, Philip D. Gray, Ray Welland	An empirical study of specification by example in a software engineering tool.	ESEM	2010	DBLP DOI BibTeX RDF
1	Yair Wand, Carson Woo, Ohad Wand	Role and Request Based Conceptual Modeling - A Methodology and a CASE Tool.	ER	2008	DBLP DOI BibTeX RDF	conceptual modeling, CASE tool, business analysis
1	Frans Sanen, Eddy Truyen, Wouter Joosen	Managing Concern Interactions in Middleware.	DAIS	2007	DBLP DOI BibTeX RDF
1	Eric Barboni, Stéphane Conversy, David Navarre, Philippe A. Palanque	Model-Based Engineering of Widgets, User Applications and Servers Compliant with ARINC 661 Specification.	DSV-IS	2006	DBLP DOI BibTeX RDF
1	Sachio Mizuta, Runhe Huang	Automation of Grid Service Code Generation with AndroMDA for GT3.	AINA	2005	DBLP DOI BibTeX RDF
1	João Condack, Daniel Schwabe	Swell - Annotating and Searching Semantic Web Services.	LA-WEB	2005	DBLP DOI BibTeX RDF
1	Katja Fischer, Gregor Hordys, Birgit Vogel-Heuser	Evaluation of an UML Software Engineering Tool by Means of a Distributed Real Time Application in Process Automation.	Modellierung	2004	DBLP BibTeX RDF
1	William N. Robinson, Han G. Woo	Finding Reusable UML Sequence Diagrams Automatically.	IEEE Software	2004	DBLP DOI BibTeX RDF	CASE (computer-aided software engineering), software engineering, design, UML (unified modeling language), analysis, software, reuse models
1	Jiangwei Huang, Tianzhou Chen, Minjiao Ye, Yi Lian	The Modeling for Dynamic Power Management of Embedded Systems.	ICESS	2004	DBLP DOI BibTeX RDF
1	Luisa Mich, Mariangela Franch, Pierluigi Novi Inverardi	Market research for requirements analysis using linguistic tools.	Requir. Eng.	2004	DBLP DOI BibTeX RDF	NLP-based CASE tools, Potential demand, Conceptual modelling, Requirements analysis, Market research
1	Angela Guercio, Timothy Arndt, Shi-Kuo Chang	A Visual Editor for Multimedia Application Development.	ICDCS Workshops	2002	DBLP DOI BibTeX RDF
1	José Pablo Zagal, Raúl A. Santelices, Miguel Nussbaum	Maintenance-Oriented Design and Development: A Case Study.	IEEE Software	2002	DBLP DOI BibTeX RDF	video game development, Software maintenance, software development, CASE
1	Brian S. Mitchell, Martin Traverso, Spiros Mancoridis	An Architecture for Distributing the Computation of Software Clustering Algorithms.	WICSA	2001	DBLP DOI BibTeX RDF
1	Jonathan Gray, Anna Liu, Louise Scott	Issues in software engineering tool construction.	Information & Software Technology	2000	DBLP DOI BibTeX RDF
1	J. Jenny Li, Joseph Robert Horgan	A Tool Suite for Diagnosis and Testing of Software Design Specifications.	DSN	2000	DBLP DOI BibTeX RDF	Software design specification, xSuds and Specification and Description Language (SDL [2]), software engineering tool, coverage testing
1	Larry A. Barowski, James H. Cross II, T. Dean Hendrix	From C to Java: a case study in portability, efficiency, and maintenance.	ACM Southeast Regional Conference	2000	DBLP DOI BibTeX RDF
1	David A. Marca, Beth A. Perdue	A software engineering approach and tool set for developing Internet applications.	ICSE	2000	DBLP DOI BibTeX RDF	IDEF0 process model, hypertext, Internet application, software engineering environment, client/server architecture
1	Jonathan Gray	Software Engineering Tools - Introduction. (PDF / PS)	HICSS	2000	DBLP DOI BibTeX RDF
1	John M. Kewley, Radu Prodan	A Distributed Object-Oriented Framework for Tool Development.	TOOLS	2000	DBLP DOI BibTeX RDF	middleware, object-oriented, framework, CORBA, distributed, tools, extensibility
1	Arturo I. Concepcion, Sunny Lin, Scott J. Simon	The RMT (Recursive Multi-Threaded) Tool: A Computer Aided Software Engineering Tool for Monitoring and Predicting Software Development Progress.	ICSE	1999	DBLP BibTeX RDF
1	Taegyun Kim, Gyusang Shin, Euyseok Hong	Experience with Porting a Unix Version CASE Tool to the Corresponding Java Version.	APSEC	1999	DBLP DOI BibTeX RDF	Model-View-Controller Paradigm, Unified Modeling Language, Design Pattern, Computer Aided Software Engineering Tool, Object Modeling Technique
1	Kim Mens, Roel Wuyts, Theo D'Hondt	Declaratively Codifying Software Architectures Using Virtual Software Classifications.	TOOLS	1999	DBLP DOI BibTeX RDF	software classification, declarative reasoning, software architecture, software engineering tool, conformance checking
1	Taegyun Kim, Nacer Boudjlida	An Experience Report Related to Restructuring OODesigner: A CASE Tool for OMT. (PDF / PS)	APSEC	1998	DBLP DOI BibTeX RDF	Refactoring, Restructuring, Object-Oriented Metrics, Computer Aided Software Engineering Tool, Object Modeling Technique
1	James H. Cross II, T. Dean Hendrix, Saeed Maghsoodloo	The Control Structure Diagram: An Overview and Initial Evaluation.	Empirical Software Engineering	1998	DBLP DOI BibTeX RDF	Ada, reverse engineering, software visualization, empirical evaluation, graphical representation
1	David V. Beard, Scott Entrikin, Pat Conroy, Nathan C. Wingert, Corey D. Schou, Dana K. Smith, Kevin M. Denelsbeck	Quick GOMS: a visual software engineering tool for simple rapid time-motion modeling.	Interactions	1997	DBLP DOI BibTeX RDF
1	T. Dean Hendrix, Larry A. Barowski, James H. Cross II	A visual development environment for multi-lingual curricula.	SIGCSE	1997	DBLP DOI BibTeX RDF
1	T. Dean Hendrix, James H. Cross II, Larry A. Barowski, Karl S. Mathias	Tool Support for Reverse Engineering Multi-Lingual Software. (PDF / PS)	WCRE	1997	DBLP DOI BibTeX RDF	Software engineering, reverse engineering, software visualization, multilingual
1	Moira C. Norrie, Martin Wunderli	Agent-Based Tool Integration for Distributed Information Systems.	CAiSE	1996	DBLP DOI BibTeX RDF
1	Janis Barzdins, Ilona Etmane, Audris Kalnins, Karlis Podnieks	Towards Integrated Computer Aided Systems and Software Engineering Tool for Information Systems Design.	ADBIS	1995	DBLP BibTeX RDF
1	Rémi Bastide, Philippe A. Palanque	A Petri Net based Environment for the Design of Event-driven Interfaces.	Application and Theory of Petri Nets	1995	DBLP DOI BibTeX RDF	Key-words User Interface, Design, High-level Petri nets, Computer tools for nets
1	Joan M. Francioni, Abraham Kandel	A Software Engineering Tool for Expert System Design.	IEEE Expert	1988	DBLP BibTeX RDF
1	Ben Livson	Future software development management system prototype.	ACM Conference on Computer Science	1988	DBLP DOI BibTeX RDF
1	M. H. Kim, Young-Chul Shim, C. V. Ramamoorthy	APAS: the Ada Programming Assistant System.	ICCL	1988	DBLP DOI BibTeX RDF
1	Claude Jard, Jean-François Monin, Roland Groz	Development of Véda, a Prototyping Tool for Distributed Algorithms.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	Veda, International Organisation for Standardization, simulator, protocols, distributed algorithms, distributed processing, software tool, software tools, Prolog, ISO, Estelle, prototyping tool
1	Simon L. Peyton Jones	Functional Programming Languages as a Software Engineering Tool.	Embedded Systems	1986	DBLP DOI BibTeX RDF
1	E. A. M. Vefsnmo	"DASOM" - A Software Engineering Tool for Communication Applications Increasing Productivity and Software Quality.	ICSE	1985	DBLP BibTeX RDF
1	Nitta P. Dooner, Janice R. Lourie	The application software engineering tool.	DAC	1975	DBLP BibTeX RDF
1	Wolfgang W. Millbrandt, Juan Rodriguez-Rosell	An interactive software engineering tool for memory management and user program evaluation.	AFIPS National Computer Conference	1974	DBLP DOI BibTeX RDF