Search results for "Documentation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
12	Miguel Jimenez, Tobias Lindahl, Konstantinos Sagonas	A language for specifying type contracts in Erlang and its interaction with success typings.	Erlang Workshop	2007	DBLP DOI BibTeX RDF	success typings, contracts, erlang
12	Olga Ormandjieva, Ishrar Hussain, Leila Kosseim	Toward a text classification system for the quality assessment of software requirements written in natural language.	SOQUA	2007	DBLP DOI BibTeX RDF	human annotation, text classification techniques, natural language processing, requirements engineering, quality assessment
12	Bill McMichael, Marc Lombardi	ISO 9001 and Agile Development.	AGILE	2007	DBLP DOI BibTeX RDF
12	Behzad Bordbar, Gareth Howells 0001, Michael Evans, Athanasios Staikopoulos	Model Transformation from OWL-S to BPEL Via SiTra.	ECMDA-FA	2007	DBLP DOI BibTeX RDF
12	Aditya Ghose, George Koliadis, Arthur Chueng	Process Discovery from Model and Text Artefacts.	IEEE SCW	2007	DBLP DOI BibTeX RDF
12	Richard Mateosian	So many books.	IEEE Micro	2006	DBLP DOI BibTeX RDF	Web applications, Web design
12	Davide Falessi, Martin Becker 0002, Giovanni Cantone	Design decision rationale: experiences and steps ahead towards systematic use.	ACM SIGSOFT Softw. Eng. Notes	2006	DBLP DOI BibTeX RDF	design decision rationale, software analysis and design, ambient intelligence, value-based software engineering
12	Klaus-Dieter Schewe, Bernhard Thalheim	User Models: A Contribution to Pragmatics of Web Information Systems Design.	WISE	2006	DBLP DOI BibTeX RDF
12	Stephen J. Morris, O. C. Z. Gotel	Flow Diagrams: Rise and Fall of the First Software Engineering Notation.	Diagrams	2006	DBLP DOI BibTeX RDF
12	Colm Quinn, Sergiy A. Vilkomir, David Lorge Parnas, Srdjan Kostic	Specification of Software Component Requirements Using the Trace Function Method.	ICSEA	2006	DBLP DOI BibTeX RDF
12	Chouki Tibermacine, Régis Fleurquin, Salah Sadou	On-Demand Quality-Oriented Assistance in Component-Based Software Evolution.	CBSE	2006	DBLP DOI BibTeX RDF
12	Salvador Trujillo, Don S. Batory, Oscar Díaz	Feature refactoring a multi-representation program into a product line.	GPCE	2006	DBLP DOI BibTeX RDF	refinements, refactoring, software product lines, program synthesis, multiple representations, feature-oriented programming, AHEAD
12	Frances Perry, Limin Jia 0001, David Walker 0001	Expressing heap-shape contracts in linear logic.	GPCE	2006	DBLP DOI BibTeX RDF	heap shape, contracts, linear logic, assertions
12	Barthélémy Dagenais, Harold Ossher	Guidance through active concerns.	ETX	2006	DBLP DOI BibTeX RDF	separation of concerns, aspect-oriented software development, concern modeling, user guidance
12	Davide Falessi, Giovanni Cantone, Martin Becker 0002	Documenting design decision rationale to improve individual and team design decision making: an experimental evaluation.	ISESE	2006	DBLP DOI BibTeX RDF	design decision rationale, individual and team decision-making, experimental evaluation
12	Tim Weitzel	Process Governance and Optimization for IT Reliant Business Processes: An Empirical Analysis of Financial Processes in Germany's Fortune 1, 000 Non-Banks.	HICSS	2006	DBLP DOI BibTeX RDF
12	Gilberto Zonta Pastorello Jr., Claudia Bauzer Medeiros, Silvania Maria de Resende, Henrique Aparecido da Rocha	Interoperability for GIS Document Management in Environmental Planning.	J. Data Semantics	2005	DBLP DOI BibTeX RDF
12	Frank Puppe, Georg Buscher, Martin Atzmüller, Matthias Hüttig, Hans-Peter Buscher	Clinical Experiences with a Knowledge-Based System in Sonography (SonoConsult).	Wissensmanagement (LNCS Volume)	2005	DBLP DOI BibTeX RDF
12	Joseph Bergin, Clifton Kussmaul, Thomas Reichlmayr, James Caristi, Gary Pollice	Agile development in computer science education: practices and prognosis.	SIGCSE	2005	DBLP DOI BibTeX RDF	methodology, software, process, curriculum, XP, development, agility
12	Jun Sun 0002, Wanghong Yuan, Mahesh Kallahalla, Nayeem Islam	HAIL: a language for easy and correct device access.	EMSOFT	2005	DBLP DOI BibTeX RDF	invariant specification and verification, register access, embedded systems, system-on-chip, software reuse, domain-specific languages, automatic code generation, device drivers
12	David G. Novick, Brian Lowe	Co-generation of text and graphics.	SIGDOC	2005	DBLP DOI BibTeX RDF	aviation, single source
12	Sue Newell, Harry Scarbrough, Jacky Swan, Robert D. Galliers	Sharing Learning through Documents: Conflicting Outcomes.	HICSS	2005	DBLP DOI BibTeX RDF
12	Giliane Redolfi, Luciana Spagnoli, Peter Hemesath, Ricardo Melo Bastos, Marcelo Blois Ribeiro, Mauricio Cristal, Anete Persch Espindola	A Reference Model for Reusable Components Description.	HICSS	2005	DBLP DOI BibTeX RDF
12	Paul Groth, Simon Miles, Weijian Fang, Sylvia C. Wong, Klaus-Peter Zauner, Luc Moreau 0001	Recording and using provenance in a protein compressibility experiment.	HPDC	2005	DBLP DOI BibTeX RDF
12	Rudolf Ferenc, Árpád Beszédes, Lajos Jeno Fülöp, Janos Lele	Design Pattern Mining Enhanced by Machine Learning.	ICSM	2005	DBLP DOI BibTeX RDF	StarOffice, Machine Learning, C++, Design Patterns, Columbus
12	Mark Striebeck	Ongoing Quality Improvement, or: How We All Learned To Trust XP.	AGILE	2005	DBLP DOI BibTeX RDF
12	Heidi Rose, Chiou Peng Lam, Huaizhong Li	Using XML in Version Management of Chemical Process Models.	APWeb	2005	DBLP DOI BibTeX RDF
12	Hubert Baumeister	Combining Formal Specifications with Test Driven Development.	XP/Agile Universe	2004	DBLP DOI BibTeX RDF
12	Carsten Sinz, Wolfgang Küchlin	Verifying the On-line Help System of SIEMENS Magnetic Resonance Tomographs.	ICFEM	2004	DBLP DOI BibTeX RDF
12	Marta Sabou	From Software APIs to Web Service Ontologies: A Semi-automatic Extraction Method.	ISWC	2004	DBLP DOI BibTeX RDF
12	Matthias Lampe, Martin Strassner, Elgar Fleisch	A Ubiquitous Computing environment for aircraft maintenance.	SAC	2004	DBLP DOI BibTeX RDF	aircraft maintenance, ubiquitous computing, asset management
12	Giuliano Antoniol, Massimiliano Di Penta, Michele Zazzara	Understanding Web Applications through Dynamic Analysis.	IWPC	2004	DBLP DOI BibTeX RDF	UML, web applications, dynamic analysis
12	Marek Suchocki	Web-based Collaboration: A Key Tool for the Management of Corporate Information.	DEXA Workshops	2004	DBLP DOI BibTeX RDF
12	Xinyu Wang 0001, Jianling Sun, Xiaohu Yang 0001, Zhijun He 0001, Srinivasa R. Maddineni	Human factors in extracting business rules from legacy systems.	SMC (1)	2004	DBLP DOI BibTeX RDF
12	Jingyue Li, Reidar Conradi, Parastoo Mohagheghi, Odd Are Sæhle, Øivind Wang, Erlend Naalsund, Ole Anders Walseth	A Study of Developer Attitude to Component Reuse in Three IT Companies.	PROFES	2004	DBLP DOI BibTeX RDF
12	Peter K. Allen, Steven Feiner, Alejandro J. Troccoli, Hrvoje Benko, Edward W. Ishak, Benjamin Smith 0001	Seeing into the Past: Creating a 3D Modeling Pipeline for Archaeological Visualization.	3DPVT	2004	DBLP DOI BibTeX RDF
12	Elisa L. A. Baniassad, Siobhán Clarke	Theme: An Approach for Aspect-Oriented Analysis and Design.	ICSE	2004	DBLP DOI BibTeX RDF
12	Andrian Marcus	Semantic Driven Program Analysis.	ICSM	2004	DBLP DOI BibTeX RDF
12	Seung-Jung Shin, DaeHyun Ryu	Proposal of a New Message Protocol for IEEE 802.11.	PDCAT	2004	DBLP DOI BibTeX RDF
12	S. Kuppuswami, Kalimuthu Vivekanandan, Prakash Ramaswamy, Paul Rodrigues 0002	The effects of individual XP practices on software development effort.	ACM SIGSOFT Softw. Eng. Notes	2003	DBLP DOI BibTeX RDF	process model, Extreme Programming (XP), system dynamics, software development effort
12	Phil Pfeiffer, Stephen L. Scott, Hardik Shukla	ORNL-RSH Package and Windows '03 PVM 3.4.	PVM/MPI	2003	DBLP DOI BibTeX RDF
12	Kimberly S. Wasson, John C. Knight, Elisabeth A. Strunk, Sean R. Travis	Tools Supporting the Communication of Critical Domain Knowledge in High-Consequence Systems Development.	SAFECOMP	2003	DBLP DOI BibTeX RDF
12	Christos Tjortjis, Loukas Sinos, Paul J. Layzell 0001	Facilitating Program Comprehension by Mining Association Rules from Source Code.	IWPC	2003	DBLP DOI BibTeX RDF
12	Camille Salinesi, Anne Etien	Compliance Gaps: A Requirements Elicitation Approach in the Context of System Evolution.	OOIS	2003	DBLP DOI BibTeX RDF
12	Jean-Marc Hick, Jean-Luc Hainaut	Strategy for Database Application Evolution: The DB-MAIN Approach.	ER	2003	DBLP DOI BibTeX RDF
12	Karin Koogan Breitman, Julio César Sampaio do Prado Leite	Lexicon Based Ontology Construction.	SELMAS	2003	DBLP DOI BibTeX RDF
12	Fabio Rinaldi 0001, James Dowdall, Michael Hess 0001, Diego Mollá Aliod, Rolf Schwitter, Kaarel Kaljurand	Knowledge-Based Question Answering.	KES	2003	DBLP DOI BibTeX RDF
12	José Luis Sierra, Alfredo Fernández-Valmayor, Baltasar Fernández-Manjón, Antonio Navarro 0001	Building Applications with Domain-Specific Markup Languages: A Systematic Approach to the Development of XML-Based Software.	ICWE	2003	DBLP DOI BibTeX RDF
12	Karl Peter Pfeiffer, Georg Göbel, Karin Leitner	Demand for Intelligent Search Tools in Medicine and Health Care.	Intelligent Search on XML Data	2003	DBLP DOI BibTeX RDF
12	Massimo Cossentino, Luca Sabatucci, Antonio Chella	Patterns Reuse in the PASSI Methodology.	ESAW	2003	DBLP DOI BibTeX RDF
12	Tom Tourwé, Tom Mens	Automated Support for Framework-Based Software Evolution.	ICSM	2003	DBLP DOI BibTeX RDF
12	Hongwei Xi	Facilitating Program Verification with Dependent Types.	SEFM	2003	DBLP DOI BibTeX RDF
12	Gonzalo Génova, Juan Lloréns, Paloma Martínez	The meaning of multiplicity of n-ary associations in UML.	Softw. Syst. Model.	2002	DBLP DOI BibTeX RDF	ternary association, n-ary association, ternary relationship, n-ary relationship, UML, data modeling, multiplicity, entity-relationship modeling, cardinality
12	Harald Holz, Frank Maurer	Knowledge Management Support for Distributed Agile Software Processes.	LSO	2002	DBLP DOI BibTeX RDF	task-oriented knowledge management support, virtual agile teams
12	Néstor Cataño, Marieke Huisman	Formal Specification and Static Checking of Gemplus' Electronic Purse Using ESC/Java.	FME	2002	DBLP DOI BibTeX RDF	ESC/Java, Java, specification, smart cards, static checking
12	Daniel L. Moody	Comparative Evaluation of Large Data Model Representation Methods: The Analyst's Perspective.	ER	2002	DBLP DOI BibTeX RDF
12	Russell S. Blue, Jeff Wampler, G. Bowden Wise, Louis J. Hoebel, Boris Yamrom, Christopher R. Volpe, Bruce Wilde, Pascale Rondot, Ann E. Kelley Sobel, Anne Gilman, Wesley Turner, Steve Linthicum, George Ryon	An automated approach and virtual environment for generating maintenance instructions.	CHI Extended Abstracts	2002	DBLP DOI BibTeX RDF	maintainability analysis, maintenance manual development, XML, virtual environments, haptics, natural language, human-centered design, text generation
12	Gonzalo Génova, Juan Lloréns, Paloma Martínez	Semantics of the Minimum Multiplicity in Ternary Associations in UML.	UML	2001	DBLP DOI BibTeX RDF
12	Maurizio Forte, Eva Pietroni, Claudio Rufa, Angela Bizzarro, Alessandro Tilia, Stefano Tilia	DVR-Pompei: a 3D information system for the house of the Vettii in openGL environment.	Virtual Reality, Archeology, and Cultural Heritage	2001	DBLP DOI BibTeX RDF	3D information systems, archaeometry, house of the vettii, pompei, C++, restoration, spatial data, desktop virtual reality
12	Frank Pierce	A Protocol-Centric Approach to Healthcare Information Technology.	CBMS	2001	DBLP DOI BibTeX RDF
12	R. M. Newman	Delivering the Correct Multimedia in a Standards Dominated Environment.	EUROMICRO	2001	DBLP DOI BibTeX RDF
12	Bernd Blobel, George I. Stassinopoulos, Petra Hoepner	Secure and Interoperable Document Management over the Internet - The Generic HARP Cross-Security Platform for Clinical Studies.	ISMDA	2001	DBLP DOI BibTeX RDF
12	Jeff Michaud, Margaret-Anne D. Storey, Hausi A. Müller	Integrating Information Sources for Visualizing Java Programs.	ICSM	2001	DBLP DOI BibTeX RDF	Java, visualization, integration, control, tools, presentation, data
12	M. P. A. Sellink, Chris Verhoef	Development, Assessment, and Reengineering of Language Descriptions.	CSMR	2000	DBLP DOI BibTeX RDF	Language description development, Grammar reengineering, Computer aided language engineering (CALE), Reengineering, Message Sequence Charts, Document generation, System renovation
12	Steve Counsell, Peter Newson, Emilia Mendes	Architectural Level Hypothesis Testing through Reverse Engineering of Object-Oriented Software.	IWPC	2000	DBLP DOI BibTeX RDF
12	Kurt Nørmark	Requirements for an Elucidative Programming Environment.	IWPC	2000	DBLP DOI BibTeX RDF
12	Bart Michiels, Bart Wydaeghe	Component composition (poster).	ICSE	2000	DBLP DOI BibTeX RDF	components, composition, patterns, scenarios
12	Ned Chapin	Software Maintenance Types - A Fresh View.	ICSM	2000	DBLP DOI BibTeX RDF	enhancive maintenance, adaptive maintenance, performance maintenance, evaluative maintenance, maintenance terminology, empirical studies, software maintenance, corrective maintenance
12	Hans-Peter Eich, Christian Ohmann	Internet-Based Decision-Support Server for Acute Abdominal Pain.	AIMDM	1999	DBLP DOI BibTeX RDF
12	Stéphane Ducasse, Oliver Ciupke	Experiences in Object-Oriented Re-engineering.	ECOOP Workshops	1999	DBLP DOI BibTeX RDF
12	Yih-jia Tsai, Timothy K. Shih, Jianhua Ma	A Distributed Web Document Database and Its Supporting Environment.	ISCC	1999	DBLP DOI BibTeX RDF	Information Retrieval, WWW, Distance Learning, Multimedia Database, Virtual University, Virtual Library
12	Timothy K. Shih, Jianhua Ma 0002, Runhe Huang	The Design and Implementation of a Distributed Web Document Database.	ICPP Workshops	1999	DBLP DOI BibTeX RDF	Information Retrieval, WWW, Distance Learning, Multimedia Database, Virtual University, Virtual Library
12	Wolfgang Strunk, Carola Lilienthal	Tool Support for Testing and Documenting Framework-Based Software.	TOOLS (30)	1999	DBLP DOI BibTeX RDF	dynamic diagrams, architecture based debugging, program analysis, object-oriented software
12	Brian D. Snow	We Need Assurance.	CHES	1999	DBLP DOI BibTeX RDF
12	Robert Sablatnig, Martin Kampel	On Registering Front- and Backviews of Rotationally Symmetric Objects.	CAIP	1999	DBLP DOI BibTeX RDF
12	Masud Ahmad Malik	Evolution of the High Level Programming Languages: A Critical Perspective.	ACM SIGPLAN Notices	1998	DBLP DOI BibTeX RDF
12	Ellen Agerbo, Aino Cornils	How to Preserve the Benefits of Design Patterns.	OOPSLA	1998	DBLP DOI BibTeX RDF
12	Serge Demeyer	Analysis of Overridden Methods to Infer Hot Spots.	ECOOP Workshops	1998	DBLP DOI BibTeX RDF
12	Stefano Levialdi, Heiner Benking, Dick C. A. Bulterman, Laura Moltedo, Kim H. Veltman	Panel natural, cultural & cybercultural interfaces: points of view.	AVI	1998	DBLP DOI BibTeX RDF
12	Steven Y. Goldsmith, Laurence R. Phillips, Shannon V. Spires	A Multi-agent System for Coordinating International Shipping.	AMET	1998	DBLP DOI BibTeX RDF
12	Bob Newman	A Methodology for Design of Large Hypermedia Systems.	EUROMICRO	1998	DBLP DOI BibTeX RDF
12	Joachim Hans Fröhlich, Thomas Stranzinger	Interactive Analysis of Object Architectures.	TOOLS (25)	1997	DBLP DOI BibTeX RDF	software architecture, reverse engineering, object-oriented programming, program analysis
12	Noah Pywes, Paul Rehmet	Recovery of Software Design, State-Machines, and Specifications from Source Code.	ICECCS	1996	DBLP DOI BibTeX RDF	hierarchical software architecture, specifications entities, software engineering, specifications, software design, source code, state-machines
12	Kasper Østerbye	Literate Smalltalk Programming Using Hypertext.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	Programming environments, hypertext, Smalltalk, literate programming
12	Maurice Amsellem	ChyPro: A Hypermedia Programming Environment for Smalltalk-80.	ECOOP	1995	DBLP DOI BibTeX RDF
12	Preeti Ranjan Panda, Nikil D. Dutt	1995 high level synthesis design repository.	ISSS	1995	DBLP DOI BibTeX RDF	1995 high level synthesis design repository, VHDL language, behavioral finite state machines, behavioral level, computational complexity, high level synthesis, finite state machines, VHDL, microprocessors, hardware description languages, microprocessor chips, floating point units
12	Stephen Shum, Curtis R. Cook	Using literate programming to teach good programming practices.	SIGCSE	1994	DBLP DOI BibTeX RDF
12	Daniel M. Germán	An SGML-based programming environment for literate programming.	CASCON	1994	DBLP BibTeX RDF	SGML
12	Mark Ryan 0002	Writing about C++.	CASCON	1993	DBLP BibTeX RDF
12	Scott R. Tilley	Documenting-in-the-large vs. documenting-in-the-small.	CASCON	1993	DBLP BibTeX RDF	documenting-in-the-large, reverse engineering, software evolution
12	Kelly Morrison	ODGen: a prototype reverse engineering tool for Ada.	ACM Southeast Regional Conference	1992	DBLP DOI BibTeX RDF
12	Peter J. Knoke	Medium Size Project Model: Variations on a Theme.	CSEE	1991	DBLP DOI BibTeX RDF
12	Marsha P. Waren	How much paper do you need to support an electronic information system?	SIGUCCS	1990	DBLP DOI BibTeX RDF
12	Karen C. Hardesty	Becoming a decentralized center.	SIGUCCS	1990	DBLP DOI BibTeX RDF
12	Neff Walker, John B. Smelcer	A comparison of selection time from walking and pull-down menus.	CHI	1990	DBLP DOI BibTeX RDF
12	Hans Brunner	A snapshot of natural language interfaces (panel).	CHI	1990	DBLP DOI BibTeX RDF
12	Jakob Nielsen	Designing for international use (panel).	CHI	1990	DBLP DOI BibTeX RDF
12	S. Joy Mountford	Designers: meet your users (panel).	CHI	1990	DBLP DOI BibTeX RDF	Apple Computer, HyperCard, Inc
12	Marcy Telles	Updating an older interface.	CHI	1990	DBLP DOI BibTeX RDF	WordStar
12	Karel Lemmen, Wendela J. Gillissen, Kasper L. Boon	The Direct Use of Already Existing User Manuals for Computer Aided Instruction and Information Retrieval with the Aid of Hypermedia.	ICCAL	1990	DBLP DOI BibTeX RDF