Search results for "tool support"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Simone Röttger, Steffen Zschaler	Tool Support for Refinement of Non-functional Specifications.	Software and System Modeling	2007	DBLP DOI BibTeX RDF	CASE tool support, Refinement, Model transformation, Non-functional properties
3	Brad Long, Daniel Hoffman, Paul A. Strooper	Tool Support for Testing Concurrent Java Components.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	concurrency, unit testing, tool support, Component testing
3	Michael Halling, Stefan Biffl, Paul Grünbacher	An Experiment Family to Investigate the Defect Detection Effect of Tool-Support for Requirements Inspection.	IEEE METRICS	2003	DBLP DOI BibTeX RDF	software quality measurement, Empirical software engineering, tool support, controlled experiment, software inspection, defect detection
3	P. Parviainen, J. Jarvinen, T. Sandelin	Practical experiences of tool support in a GQM-based measurement programme.	Software Quality Journal	1997	DBLP DOI BibTeX RDF	tool support for metrics program, pr2imer, measurement, metrics, GQM, practical experiences
2	Egil Trygve Baadshaug, Gencer Erdogan, Per Håkon Meland	Security Modeling and Tool Support Advantages.	ARES	2010	DBLP DOI BibTeX RDF	tool support, security modeling, experimental study
2	Reinhold Plösch, Harald Gruber, A. Hentschel, Christian Körner, Gustav Pomberger, Stefan Schiffer, Matthias Saft, S. Storck	The EMISQ method and its tool support-expert-based evaluation of internal software quality.	ISSE	2008	DBLP DOI BibTeX RDF
2	Christian Webel, Reinhard Gotzhein, Joachim Nicolay	NQSL - Formal Language and Tool Support for Network Quality-of-Service Requirements.	FORTE	2008	DBLP DOI BibTeX RDF
2	Reinhold Plösch, Harald Gruber, Gustav Pomberger, Matthias Saft, Stefan Schiffer	Tool Support for Expert-Centred Code Assessments.	ICST	2008	DBLP DOI BibTeX RDF	SPQR, Internal Quality, ISO 9126, Code Quality
2	Jens Dietrich, Elizabeth A. Kemp	Tool Support for Teaching Design Patterns.	Australian Software Engineering Conference	2008	DBLP DOI BibTeX RDF	design patterns, teaching, Eclipse, tool support, elearning
2	Michael Strommer, Manuel Wimmer	A Framework for Model Transformation By-Example: Concepts and Tool Support.	TOOLS	2008	DBLP DOI BibTeX RDF	mapping language, GMF, model transformation, concrete syntax
2	Thomas Schaaf, Michael Brenner	On tool support for Service Level Management: From requirements to system specifications.	BDIM	2008	DBLP DOI BibTeX RDF
2	Yuen-Tak Yu, Marian Choy, Eric Ying Kwong Chan, Y. T. Lo	A Hybrid Learning Course on Software Development-Requirements Validation of Tool Support.	ICHL	2008	DBLP DOI BibTeX RDF	Web-based learning tool, software development, requirements validation, Course design, hybrid learning
2	Marwan Abi-Antoun, Jonathan Aldrich	Tool support for the static extraction of sound hierarchical representations of runtime object graphs.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	architectural extraction, runtime architecture
2	Jonas Elmqvist, Simin Nadjm-Tehrani	Tool Support for Incremental Failure Mode and Effects Analysis of Component-Based Systems.	DATE	2008	DBLP DOI BibTeX RDF
2	Howard Foster	Tool Support for Safety Analysis of Service Composition and Deployment Models.	ICWS	2008	DBLP DOI BibTeX RDF
2	Daniel Reichart, Anke Dittmar, Peter Forbrig, Maik Wurdel	Tool Support for Representing Task Models, Dialog Models and User-Interface Specifications.	DSV-IS	2008	DBLP DOI BibTeX RDF
2	Sérgio Soares, Fernando Calheiros, Vilmar Nepomuceno, Andrea Menezes, Paulo Borba, Vander Alves	Supporting software product lines development: FLiP - product line derivation tool.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	refactoring, software product lines, tool support
2	Corinna Spermann, Michael Leuschel	ProB gets Nauty: Effective Symmetry Reduction for B and Z Models.	TASE	2008	DBLP DOI BibTeX RDF	Model Checking, Model Checking, Tool Support, Tool Support, B-Method, B-Method, Symmetry Reduction
2	Daniel Reichart, Peter Forbrig	Transactions in Task Models.	TAMODIA/HCSE	2008	DBLP DOI BibTeX RDF	Transaction, Task Model, Tool Support
2	Rik Farenhorst, Patricia Lago, Hans van Vliet	Effective Tool Support for Architectural Knowledge Sharing.	ECSA	2007	DBLP DOI BibTeX RDF
2	Francisco Nava, Rafael Capilla, Juan C. Dueñas	Processes for Creating and Exploiting Architectural Design Decisions with Tool Support.	ECSA	2007	DBLP DOI BibTeX RDF
2	Yi Qian, Yuming Xu, Zheng Wang, Geguang Pu, Huibiao Zhu, Chao Cai	Tool Support for BPEL Verification in ActiveBPEL Engine.	ASWEC	2007	DBLP DOI BibTeX RDF	ActiveBPEL, WSBPEL, Verification, Timed Automata, UPPAAL, Workflow language
2	Deepak Dhungana, Rick Rabiser, Paul Grünbacher, Thomas Neumayer	Integrated tool support for software product line engineering.	ASE	2007	DBLP DOI BibTeX RDF	multi-team modeling, product line tools, product line engineering, variability modeling, model evolution, product derivation
2	Jürgen Becker, Adam Donlin, Michael Hübner	New tool support and architectures in adaptive reconfigurable computing.	VLSI-SoC	2007	DBLP DOI BibTeX RDF
2	Rüdiger Grammes, Reinhard Gotzhein	SDL Profiles - Formal Semantics and Tool Support.	FASE	2007	DBLP DOI BibTeX RDF
2	Andreas Bauer 0002, Markus Pister, Michael Tautschnig	Tool-support for the analysis of hybrid systems and models.	DATE	2007	DBLP DOI BibTeX RDF
2	Heinz Dobler, Rudolf Ramler, Klaus Wolfmaier	A Study of Tool Support for the Evaluation of Programming Exercises.	EUROCAST	2007	DBLP DOI BibTeX RDF
2	Nadzeya Kiyavitskaya, Nicola Zeni, Travis D. Breaux, Annie I. Antón, James R. Cordy, Luisa Mich, John Mylopoulos	Extracting rights and obligations from regulations: toward a tool-supported process.	ASE	2007	DBLP DOI BibTeX RDF	regulation compliance, tool support, privacy requirements
2	K. Rustan M. Leino	Specifying and verifying software.	ASE	2007	DBLP DOI BibTeX RDF	verification, specification, programming, automation, languages, tool support, SMT solver
2	Rylan Cottrell, Joseph J. C. Chang, Robert J. Walker, Jörg Denzinger	Determining detailed structural correspondence for generalization tasks.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	anti-unification, generalization, similarity, tool support, correspondence
2	Jens Bendisposto, Michael Leuschel	A Generic Flash-Based Animation Engine for ProB.	B	2007	DBLP DOI BibTeX RDF	Animation, Tool Support, B-Method
2	Michael Leuschel, Michael J. Butler, Corinna Spermann, Edd Turner	Symmetry Reduction for B by Permutation Flooding.	B	2007	DBLP DOI BibTeX RDF	Symmetry Reduction.1, Model Checking, Tool Support, B-Method
2	J. Andrés Díaz Pace, Marcelo R. Campo	Using Planning Techniques to Assist Quality-Driven Architectural Design Exploration.	QoSA	2007	DBLP DOI BibTeX RDF	quality-driven mechanisms, tool support, software architecture design, artificial intelligence techniques
2	Jan Jürjens, Pasha Shabalin	Tools for secure systems development with UML.	STTT	2007	DBLP DOI BibTeX RDF	Security, UML, Formal verification, Tool-support, Model-based development
2	Erica Mealy, Paul A. Strooper	Evaluating software refactoring tool support.	ASWEC	2006	DBLP DOI BibTeX RDF
2	J.-Hendrik Pfeiffer, John R. Gurd	Visualisation-based tool support for the development of aspect-oriented programs.	AOSD	2006	DBLP DOI BibTeX RDF	aspects, treemaps, software visualisation
2	Alexander M. Ernst, Josef Lankes, Christian M. Schweda, André Wittenburg	Tool Support for Enterprise Architecture Management - Strengths and Weaknesses.	EDOC	2006	DBLP DOI BibTeX RDF
2	Marius Marin, Leon Moonen, Arie van Deursen	FINT: Tool Support for Aspect Mining.	WCRE	2006	DBLP DOI BibTeX RDF
2	Matthias Heindl, Franz Reinisch, Stefan Biffl, Alexander Egyed	Value-Based Selection of Requirements Engineering Tool Support.	EUROMICRO-SEAA	2006	DBLP DOI BibTeX RDF
2	Min-Sheng Hsieh, Ewan D. Tempero	Supporting software reuse by the individual programmer.	ACSC	2006	DBLP DOI BibTeX RDF	case-based reasoning, tool support, code reuse
2	Stefan Biffl, Paul Grünbacher, Michael Halling	A family of experiments to investigate the effects of groupware for software inspection.	Autom. Softw. Eng.	2006	DBLP DOI BibTeX RDF	Inspection meeting, Software quality measurement, Empirical software engineering, Tool support, Controlled experiment, Software inspection, Defect detection
2	Thomas Baar, Dan Chiorean, Alexandre L. Correa, Martin Gogolla, Heinrich Hußmann, Octavian Patrascoiu, Peter H. Schmitt, Jos Warmer	Tool Support for OCL and Related Formalisms - Needs and Trends.	MoDELS Satellite Events	2005	DBLP DOI BibTeX RDF
2	Stefan Gruner, Stuart Naven	Tool support for plagiarism detection in text documents.	SAC	2005	DBLP DOI BibTeX RDF	?2 test, automated plagiarism detection, morton's word pattern ratios, statistics, tool support, plagiarism, significance, stylometry
2	Tim Clerckx, Frederik Winters, Karin Coninx	Tool support for designing context-sensitive user interfaces using a model-based approach.	TAMODIA	2005	DBLP DOI BibTeX RDF	context-aware user interfaces, visualization of user interface models, model-based user interface design
2	Thomas Leich, Sven Apel, Laura Marnitz, Gunter Saake	Tool support for feature-oriented software development: featureIDE: an Eclipse-based approach.	ETX	2005	DBLP DOI BibTeX RDF
2	Jouni Lappalainen	Tool Support for Personal Software Process.	PROFES	2005	DBLP DOI BibTeX RDF
2	Florian Deissenboeck, Markus Pizka, Tilman Seifert	Tool Support for Continuous Quality Assessment.	STEP	2005	DBLP DOI BibTeX RDF
2	Cory Kapser, Michael W. Godfrey	Improved Tool Support for the Investigation of Duplication in Software.	ICSM	2005	DBLP DOI BibTeX RDF
2	Marcílio Mendonça, Paulo S. C. Alencar, Toacy Cavalcante de Oliveira, Donald D. Cowan	Assisting aspect-oriented framework instantiation: towards modeling, transformation and tool support.	OOPSLA Companion	2005	DBLP DOI BibTeX RDF	aspect modeling languages, model transformation, application frameworks, aspect-oriented frameworks
2	J. Andrés Díaz Pace, Marcelo R. Campo	ArchMatE: from architectural styles to object-oriented models through exploratory tool support.	OOPSLA	2005	DBLP DOI BibTeX RDF	frameworks, tool support, architectural styles, quality attributes
2	Lin Padgham, John Thangarajah, Michael Winikoff	Tool Support for Agent Development using the Prometheus Methodology.	QSIC	2005	DBLP DOI BibTeX RDF
2	Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer	Tool Support for Model-Based Engineering of Web Service Compositions.	ICWS	2005	DBLP DOI BibTeX RDF
2	Paul J. Adams, Cornelia Boldyreff	Tool Support for the Effective Distribution of Agile Practice.	XP	2005	DBLP DOI BibTeX RDF
2	Michael J. Butler, Michael Leuschel	Combining CSP and B for Specification and Property Verification.	FM	2005	DBLP DOI BibTeX RDF	Model Checking, Animation, Logic Programming, Constraints, Tool Support, B-Method
2	Michael Leuschel, Michael J. Butler	Automatic Refinement Checking for B.	ICFEM	2005	DBLP DOI BibTeX RDF	Constraints.1, Model Checking, Animation, Logic Programming, Tool Support, B-Method, Refinement Checking
2	Jing Sun 0002, Hai H. Wang, Sasanka Athauda, Tazkiya Sheik	SVG Web Environment for Z Specification Language.	ICFEM	2005	DBLP DOI BibTeX RDF	Z formal specification language, Web based tool support, Scalable Vector Graphics
2	Michael Leuschel, Edd Turner	Visualising Larger State Spaces in Pro B.	ZB	2005	DBLP DOI BibTeX RDF	Model Checking, Formal Methods, Animation, Logic Programming, Visualisation, Tool Support, B-Method
2	Graeme Smith, Luke Wildman	Model Checking Z Specifications Using SAL.	ZB	2005	DBLP DOI BibTeX RDF	model checking, tool support, Z, SAL
2	Daniel Powell	Tool Support for Verification-Based Software Inspection.	Australian Software Engineering Conference	2004	DBLP DOI BibTeX RDF
2	Thomas Fahringer, Sabri Pllana, Johannes Testori	Teuta: Tool Support for Performance Modeling of Distributed and Parallel Applications.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF	Distributed and Parallel Applications, Performance, UML, Modeling and Simulation
2	Anton Jansen, Jan Bosch	Evaluation of Tool Support for Architectural Evolution.	ASE	2004	DBLP DOI BibTeX RDF
2	Thomas Tilley	Tool Support for FCA.	ICFCA	2004	DBLP DOI BibTeX RDF
2	Hermann Kaindl	Active Tool Support for Requirements Engineering Through RETH.	RE	2004	DBLP DOI BibTeX RDF
2	Patricia Lago, Eila Niemelä, Hans van Vliet	Tool Support for Traceable Product Evolution.	CSMR	2004	DBLP DOI BibTeX RDF
2	Jan Jürjens, Pasha Shabalin	A Foundation for Tool-Supported Critical Systems Development with UML.	ECBS	2004	DBLP DOI BibTeX RDF	formal models of object-oriented design, UML, verification, specification, tool support, secure computing, critical systems
2	Adalberto Farias, Alexandre Mota, Augusto Sampaio	Efficient CSPZ Data Abstraction.	IFM	2004	DBLP DOI BibTeX RDF	Integrated formalism, CSPZ, Java, model checking, verification, specification, tool support, data abstraction
2	Olaf Lewitz	Story Management.	XP	2004	DBLP DOI BibTeX RDF	state management of stories, trace-ability, customer integration, project management, transparency, tool support, Story, project database
2	Tim Miller, Paul A. Strooper	A framework and tool support for the systematic testing of model-based specifications.	ACM Trans. Softw. Eng. Methodol.	2003	DBLP DOI BibTeX RDF	specification animation, testgraphs, testing, Formal verification
2	Tom Mens, Tom Tourwé, Francisca Muñoz	Beyond the Refactoring Browser: Advanced Tool Support for Software Refactoring.	IWPSE	2003	DBLP DOI BibTeX RDF
2	Tommi Mikkonen	Experiences on Developing and Using a Tool Support for Formal Specification.	Ada-Europe	2003	DBLP DOI BibTeX RDF	software engineering, formal methods, development tools
2	Carmen Zannier, Frank Maurer	Tool Support for Complex Refactoring to Design Patterns.	XP	2003	DBLP DOI BibTeX RDF
2	Giulio Mori, Fabio Paternò, Carmen Santoro	Tool support for designing nomadic applications.	IUI	2003	DBLP DOI BibTeX RDF	multi-platform applications, tool support for designers, model-based design
2	Philip Mayer	Analyzing the use of interfaces in large OO projects.	OOPSLA Companion	2003	DBLP DOI BibTeX RDF	context-specific interfaces, partial interfaces, Java, metrics, interfaces, refactorings, roles, tool support, OO programming
2	Martin Auer, Bernhard Graser, Stefan Biffl	A Survey on the Fitness of Commercial Software Metric Tools for Service in Heterogeneous Environments: Common Pitfalls.	IEEE METRICS	2003	DBLP DOI BibTeX RDF	Measurement Data Collection, Software Measurement Automation, Software Metrics, Tool Support, Tool Integration
2	Bernhard Schätz, Chris Salzmann	Service-Based Systems Engineering: Consistent Combination of Services.	ICFEM	2003	DBLP DOI BibTeX RDF	model checking, interaction, specification, component, application, consistency, implementation, Service, completeness, tool- support, behavior, formalization, partiality
2	Daniel Rodríguez, Rachel Harrison, Manoranjan Satpathy	A Generic Model and Tool Support for Assessing and Improving Web Processes.	IEEE METRICS	2002	DBLP DOI BibTeX RDF
2	Michael Gnatz, Frank Marschall, Gerhard Popp, Andreas Rausch, Wolfgang Schwerin	Towards a Tool Support for a Living Software Development Process.	HICSS	2002	DBLP DOI BibTeX RDF	Integration, Process Modeling, Process, Software Process, Process Pattern, Process Evolution
2	F. George Wilkie, Terence J. Harmer	Tool Support for Measuring Complexity in Heterogeneous Object-Oriented Software. (PDF / PS)	ICSM	2002	DBLP DOI BibTeX RDF
2	Lars Michael Kristensen, Thomas Mailund	A Generalised Sweep-Line Method for Safety Properties.	FME	2002	DBLP DOI BibTeX RDF	explicit state space exploration methods, state space reduction methods, practical use and tool support, reachability analysis, theoretical foundations
2	Jin Song Dong, Yuan-Fang Li, Jing Sun 0002, Jun Sun 0001, Hai H. Wang	XML-Based Static Type Checking and Dynamic Visualization for TCOZ.	ICFEM	2002	DBLP DOI BibTeX RDF	TCOZ tool support, XML/XSL, UML/XMI
2	Phillip J. Brooke, Richard F. Paige	The Design of a Tool-Supported Graphical Notation for Timed CSP.	IFM	2002	DBLP DOI BibTeX RDF	process algebra, tool support, graphical notation, Timed CSP
2	Kirsten Winter, Roger Duke	Model Checking Object-Z Using ASM.	IFM	2002	DBLP DOI BibTeX RDF	language transformation, automated tool support, model checking, Abstract State Machines, Object-Z
2	Marian Bubak, Wlodzimierz Funika, Bartosz Balis, Roland Wismüller	On-Line Tool Support for Parallel Applications.	HPCN	2001	DBLP DOI BibTeX RDF	Parallel programming, interoperability, monitoring systems
2	Fernando Jiménez-Fraustro, Éric Rutten	A Synchronous Model of IEC 61131 PLC Languages in SIGNAL.	ECRTS	2001	DBLP DOI BibTeX RDF	IEC 61131, programming languages, formal model, tool support, SIGNAL, synchronous languages, PLCs (programmable logic controllers)
2	K. Suzanne Barber, Thomas J. Graser	Tool Support for Systematic Class Identification in Object-Oriented Software Architectures.	TOOLS	2000	DBLP DOI BibTeX RDF
2	Martin S. Feather, Steven L. Cornford, Timothy W. Larson	Combining the Best Attributes of Qualitative and Quantitative Risk Management Tool Support. (PDF / PS)	ASE	2000	DBLP DOI BibTeX RDF
2	Craig Chambers, Bill Harrison, John M. Vlissides	A Debate on Language and Tool Support for Design Patterns.	POPL	2000	DBLP DOI BibTeX RDF	programming lnguages, design patterns, software development, tools
2	Christian Heide Damm, Klaus Marius Hansen, Michael Thomsen	Tool support for cooperative object-oriented design: gesture based modelling on an electronic whiteboard.	CHI	2000	DBLP DOI BibTeX RDF	electronic whiteboards, user study, object-oriented modeling, CASE tools, cooperative design, gesture input
2	Sergey Butkevich, Marco Renedo, Gerald Baumgartner, Michal Young	Compiler and tool support for debugging object protocols.	SIGSOFT FSE	2000	DBLP DOI BibTeX RDF	protocols, debugging, sequencing constraints
2	Ileana Ober	More Meaningful UML Models.	TOOLS	2000	DBLP DOI BibTeX RDF	complex systems modelling, tool support capabilities, executable semantics, tool vendors, intelligent tools, consistency checkers, semantics definition, UML meta-model, well formedness rules, UML standard, behaviour primitives, ASM transition rules, UML actions, object-oriented programming, specification languages, finite automata, formal semantics, symbolic execution, Abstract State Machines, UML models, programming language semantics, dynamic semantics, static semantics
2	Sherif M. Yacoub, Hengyi Xue, Hany H. Ammar	POD: A Composition Environment for Pattern-Oriented Design.	TOOLS	2000	DBLP DOI BibTeX RDF	Pattern-oriented design, design patterns and tool-support for patterns
2	Jacob Eisenstein, Jean Vanderdonckt, Angel R. Puerta	Adapting to mobile contexts with user-interface modeling.	WMCSA	2000	DBLP DOI BibTeX RDF	mobile computing contexts, versatility, platform constraints, automated tool support, user interfaces, mobile computing, user interface design, adaptive systems, user interface modeling, user interface adaptation
2	Luke Wildman, Colin J. Fidge, David A. Carrington	Computer-aided development of a real-time program.	Software - Concepts and Tools	2000	DBLP DOI BibTeX RDF	Software engineering, Verification, Formal methods, Refinement, Tool support, Real-time programming
2	Michael Goedicke, Torsten Meyer	Web-Based Tool Support for Dynamic Management of Distribution and Parallelism in Integrating Architecture Design and Performance Evaluation. (PDF / PS)	PDSE	1999	DBLP DOI BibTeX RDF	WWW tool support, dynamic semantic-directed system configuration, performance evaluation, software architecture
2	Wolfgang Strunk, Carola Lilienthal	Tool Support for Testing and Documenting Framework-Based Software.	TOOLS	1999	DBLP DOI BibTeX RDF	dynamic diagrams, architecture based debugging, program analysis, object-oriented software
2	Michael Goedicke, Bettina Enders, Torsten Meyer, Gabriele Taentzer	Tool Support for ViewPoint-oriented Software Development.	AGTIVE	1999	DBLP DOI BibTeX RDF
2	Michael Fahrmair, Chris Salzmann, Maurice Schoenmakers	CARP@ - A Reflection Based Tool for Observing Jini Services.	Reflection and Software Engineering	1999	DBLP DOI BibTeX RDF	Distributed Systems, Reflection, Dynamic Systems, Tool Support, Jini
2	Reinhold Plösch	Tool Support for Design by Contract.	TOOLS	1998	DBLP DOI BibTeX RDF	Requirements Engineering, Prototyping, Python, Design by Contract, Behavioral specifications
2	F. MacDonald, J. Miller	A Comparison of Tool-Based and Paper-Based Software Inspection.	Empirical Software Engineering	1998	DBLP DOI BibTeX RDF	tool support, controlled experiment, Software inspection, CASE
2	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