Search results for "automated tool support"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
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	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
1	Moria Abadi, Yishai A. Feldman	Refactoring of Statecharts.	NGITS	2009	DBLP DOI BibTeX RDF
1	Josh Dehlinger, Robyn R. Lutz	Supporting requirements reuse in multi-agent system product line design and evolution.	ICSM	2008	DBLP DOI BibTeX RDF
1	Vittorio Cortellessa, Ivica Crnkovic, Fabrizio Marinelli, Pasqualina Potena	Driving the selection of cots components on the basis of system requirements.	ASE	2007	DBLP DOI BibTeX RDF	COTS selection, software requirements, optimization model
1	K. Rustan M. Leino	Specifying and verifying software.	ASE	2007	DBLP DOI BibTeX RDF	verification, specification, programming, automation, languages, tool support, SMT solver
1	Douglas R. Smith	Toward automated software development.	ASE	2007	DBLP DOI BibTeX RDF	program synthesis
1	Raffi Khatchadourian, Jason Sawin, Atanas Rountev	Automated Refactoring of Legacy Java Software to Enumerated Types.	ICSM	2007	DBLP DOI BibTeX RDF
1	Yu-Seung Ma, Jeff Offutt, Yong Rae Kwon	MuJava: a mutation system for java.	ICSE	2006	DBLP DOI BibTeX RDF	mutation system, java, mutation testing
1	Thomas A. Alspaugh, Bill Tomlinson, Eric Baumer	Using social agents to visualize software scenarios.	SOFTVIS	2006	DBLP DOI BibTeX RDF	ScenarioML, social autonomous characters, scenario analysis, interactive animation
1	Yuanfang Cai, Kevin J. Sullivan	Modularity Analysis of Logical Design Models.	ASE	2006	DBLP DOI BibTeX RDF
1	Dalal Alrajeh, Oliver Ray, Alessandra Russo, Sebastián Uchitel	Extracting Requirements from Scenarios with ILP.	ILP	2006	DBLP DOI BibTeX RDF
1	Dongfeng Wang, Farokh B. Bastani, I-Ling Yen, Raymond A. Paul	An Approach for Designing Highly Adaptable Process-Control Systems.	ISORC	2005	DBLP DOI BibTeX RDF
1	Jeremy Gow, Harold W. Thimbleby, Paul A. Cairns	Automatic Critiques of Interface Modes.	DSV-IS	2005	DBLP DOI BibTeX RDF
1	Jouni Lappalainen	Tool Support for Personal Software Process.	PROFES	2005	DBLP DOI BibTeX RDF
1	Patricia Lago, Eila Niemelä, Hans van Vliet	Tool Support for Traceable Product Evolution.	CSMR	2004	DBLP DOI BibTeX RDF
1	Hong Zhu, Lingzi Jin	Scenario Analysis in an Automated Tool for Requirements Engineering.	Requir. Eng.	2000	DBLP DOI BibTeX RDF	Requirements model synthesis, Requirements engineering, Consistency, Completeness, Scenario analysis, Automated tool
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	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