Search results for "Computer-Aided Software Engineering"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Marcelo Jenkins	Teaching computer aided software engineering at the graduate level.	ITiCSE	2008	DBLP DOI BibTeX RDF	computer science education, software engineering education, computer aided software engineering (case)
3	T. Leonard, Valdis Berzins, Luqi, M. J. Holden	Gathering Requirements from Remote Users. (PDF / PS)	ICTAI	1997	DBLP DOI BibTeX RDF	remote users, distributed requirements engineering environment, Personal Web Server, Open Database Connectivity, Netscape Communicator, Access97 database, PERL scripts, basic security features, Internet accessible database, computer aided software engineering, database operations, computer aided software engineering tools, Internet Explorer
3	Rajiv D. Banker, Robert J. Kauffman, Charles Wright, Dani Zweig	Automating Output Size and Reuse Metrics in a Repository-Based Computer-Aided Software Engineering (CASE) Environment.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	output size, reuse metrics, repository-based computer-aided software engineering environment, software development productivity, software cost control, integrated CASE, conceptual basis, automated analyzers, software reuse measurement, object-based CASE, object repository, reuse leverage, reuse classification, managerial requirements, state-of-the-art automated software metrics analyzers, investment banking industry application, object-oriented programming, software tools, software metrics, software reusability, function point, bank data processing, CASE environment
2	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
2	Jongmoon Baik, Barry W. Boehm, Bert Steece	Disaggregating and Calibrating the CASE Tool Variable in COCOMO II.	IEEE Trans. Software Eng.	2002	DBLP DOI BibTeX RDF	CASE (Computer Aided Software Engineering), empirical studies, software tools, software metrics, software productivity, Bayesian analysis, prediction accuracy, software cost models
2	Guido Wimmel, Jan Jürjens	Specification-Based Test Generation for Security-Critical Systems Using Mutations.	ICFEM	2002	DBLP DOI BibTeX RDF	E-Commerce Systems, Security-Critical Systems, Validation and Analysis, Computer-aided Software Engineering (CASE), Formal Methods, Test Case Generation, Test Specification, AutoFocus
2	Jan Jürjens	Composability of Secrecy.	MMM-ACNS	2001	DBLP DOI BibTeX RDF	formal specification, Network security, refinement, modularity, cryptographic protocols, computer aided software engineering, composability, secrecy
2	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
2	Colin J. Hardy, Helen M. Edwards, J. Barrie Thompson	Trends and developments in CASE and structured methods: a European perspective. (PDF / PS)	COMPSAC	1997	DBLP DOI BibTeX RDF	metaCASE tools, CASE tools, computer aided software engineering, computer-aided software engineering, CASE, methods engineering, holistic approach, structured methods
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
2	Tomás Isakowitz, Robert J. Kauffman	Supporting Search for Reusable Software Objects.	IEEE Trans. Software Eng.	1996	DBLP DOI BibTeX RDF	object repositories, object search, repository evaluation, Classification, software development, reuse, hypertext, computer-aided software engineering, CASE, development environments
2	L. Beth Protsko, Paul G. Sorenson, J. Paul Tremblay, Douglas A. Schaefer	Towards the Automatic Generation of Software Diagrams.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	software diagrams, MONDRIAN, metasystem, software objects, location constraints, programming, routing algorithms, diagrams, computer-aided software engineering, drawing, graphical representation, automatic generation, flowcharting, placement algorithms, layout algorithms, dataflow diagrams, CASE environments
2	D. F. Burrows	The use of computer-aided software engineering technology in systems and software design.	EURO-DAC	1990	DBLP DOI BibTeX RDF	CAD, SYSTEMS, CASE, MIXED-SIGNAL
2	David B. Leblang, Robert P. Chase Jr.	Computer-Aided Software Engineering in a Distributed Workstation Environment.	Software Development Environments (SDE)	1984	DBLP DOI BibTeX RDF
1	Iván García-Magariño, Rubén Fuentes-Fernández, Jorge J. Gómez-Sanz	A framework for the definition of metamodels for Computer-Aided Software Engineering tools.	Information & Software Technology	2010	DBLP DOI BibTeX RDF
1	Dragos Truscan, Torbjörn Lundkvist, Marcus Alanen, Kim Sandström, Ivan Porres, Johan Lilius	MDE for SoC design.	ISSE	2009	DBLP DOI BibTeX RDF	System on chip, Model transformation, Domain-specific language, Metamodel, Model-driven engineering
1	Parasuram Balasubramanian	Automating Information and Technology Services.	Handbook of Automation	2009	DBLP DOI BibTeX RDF
1	Sabina Jeschke, Helmut Vieritz, Olivier Pfeiffer	Developing Accessible Applications with User-Centered Architecture.	ACIS-ICIS	2008	DBLP DOI BibTeX RDF	user-centered application, use model, accessibility, task model, computer aided software engineering
1	Bran Selic	Personal reflections on automation, programming culture, and model-based software engineering.	Autom. Softw. Eng.	2008	DBLP DOI BibTeX RDF	Computer automation, Usability, Software tools, Model-driven development, Computer-aided software engineering, Psychology of programming
1	Jacky Estublier, Germán Vega, Philippe Lalanda, Thomas Leveque	Domain Specific Engineering Environments.	APSEC	2008	DBLP DOI BibTeX RDF
1	Ali Niknafs, Raman Ramsin	Computer-Aided Method Engineering: An Analysis of Existing Environments.	CAiSE	2008	DBLP DOI BibTeX RDF	Computer- Aided Method Engineering, Criteria-Based Analysis, Method Engineering, Software Development Methodologies
1	Felix Rodriguez, Michael Geisser, Kay Berkling, Tobias Hildenbrand	Evaluating Collaboration Platforms for Offshore Software Development Scenarios.	SEAFOOD	2007	DBLP DOI BibTeX RDF	Offshore Software Development Tools, Computer-Aided Software Engineering, Collaborative Software Development, Collaboration Platform
1	Christopher James Martin	Scribbles: an exploratory study of sketch based support for early collaborative object oriented design.	ITiCSE	2007	DBLP DOI BibTeX RDF	collaborative design, mind map, sketch based interaction
1	Sylvain Rougemaille, Frédéric Migeon, Christine Maurel, Marie Pierre Gleizes	Model Driven Engineering for Designing Adaptive Multi-Agents Systems.	ESAW	2007	DBLP DOI BibTeX RDF
1	Ulrich Dinger, Roy Oberhauser, Christian Reichel	SWS-ASE: Leveraging Web Service-based Software Engineering.	ICSEA	2006	DBLP DOI BibTeX RDF	Ontology, Software Engineering, Software Tools, Semantic Web Services, Reasoning, Feature Modeling, Computer-Aided Software Engineering, Software Automation
1	Terrence P. Fries	A framework for transforming structured analysis and design artifacts to UML.	SIGDOC	2006	DBLP DOI BibTeX RDF	structured analysis and design, UML, class diagram, sequence diagram, data flow diagram, entity relationship diagram
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	Jörg Zettel	Methodology Support in CASE Tools and Its Impact on Individual Acceptance and Use: A Controlled Experiment.	Empirical Software Engineering	2005	DBLP DOI BibTeX RDF	methodology support, consistency assurance, process modelling, Computer-aided software engineering, technology acceptance
1	John R. Friedrich	Meta-data version and configuration management in multi-vendor environments.	SIGMOD Conference	2005	DBLP DOI BibTeX RDF
1	Paul McIntosh, Margaret Hamilton, Ron G. van Schyndel	X3D-UML: enabling advanced UML visualisation through X3D.	Web3D	2005	DBLP DOI BibTeX RDF	JavaML, X3D-UML, XML, UML, Unified Modeling Language, VRML, Virtual Reality Modeling Language, Software Visualization, X3D, Web3D
1	Sachio Mizuta, Runhe Huang	Automation of Grid Service Code Generation with AndroMDA for GT3.	AINA	2005	DBLP DOI BibTeX RDF
1	Wong Kok Seng, Sellappan Palaniappan, Nor Adnan Yahaya	A Framework for Collaborative Graphical Based Design Environments.	DEXA Workshops	2005	DBLP DOI BibTeX RDF
1	Bing Guo, Yan Shen, Jun Xie, Yong Wang, Guang-Ze Xiong	A kind of new ToolBus model research and implementation.	ACM SIGSOFT Software Engineering Notes	2004	DBLP DOI BibTeX RDF	ToolBus, software architecture, tool integration, distributed object computing, CASE environments
1	Timothy J. Ellis, William Hafner, Frank Mitropoulos	eCAD: A Knowledge-Based Course Engineering System.	HICSS	2004	DBLP DOI BibTeX RDF
1	Hakim Lounis, Lynda Ait-Mehedine	Machine-Learning Techniques for Software Product Quality Assessment.	QSIC	2004	DBLP DOI BibTeX RDF
1	Marco A. S. Mangan, Marcos R. S. Borges, Cláudia Maria Lima Werner	Increasing Awareness in Distributed Software Development Workspaces.	CRIWG	2004	DBLP DOI BibTeX RDF
1	Nadzeya Kiyavitskaya, Nicola Zeni, Luisa Mich, John Mylopoulos	Experimenting with Linguistic Tools for Conceptual Modelling: Quality of the Models and Critical Features.	NLDB	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	N. Greco, Donato Impedovo, M. G. Lucchese, A. Salzo, L. Sarcinella	Bank-check Processing System: Modifications Due to the New European Currency.	ICDAR	2003	DBLP DOI BibTeX RDF
1	Wilson Pardi Junior, Carlos Eduardo Pereira	A Supervisory Tool for Real-Time Industrial Automation Systems. (PDF / PS)	ISORC	2003	DBLP DOI BibTeX RDF
1	Luqi, Man-tak Shing, Joseph Puett, Valdis Berzins, Zhiwei Guan, Ying Qiao, Lynn Zhang, Nabendu Chaki, Xianzhong Liang, Bill Ray, Michael Brown, David L. Floodeen	Comparative Rapid Prototyping, A Case Study.	IEEE International Workshop on Rapid System Prototyping	2003	DBLP DOI BibTeX RDF
1	David B. Stewart, Gaurav Arora	A Tool for Analyzing and Fine Tuning the Real-Time Properties of an Embedded System.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	Real-time systems theory, aperiodic servers, periodic threads, logic analyzer, in-circuit emulator, simulation, graphical user interface, operating systems, profiling, priority, deadline, performance monitors, timing error
1	Paulo Gomes, Francisco C. Pereira, Paulo Paiva, Nuno Seco, Paulo Carreiro, José Luís Ferreira, Carlos Bento	Noun Sense Disambiguation with WordNet for Software Design Retrieval.	Canadian Conference on AI	2003	DBLP DOI BibTeX RDF
1	H. M. Harmain, Robert J. Gaizauskas	CM-Builder: A Natural Language-Based CASE Tool for Object-Oriented Analysis.	Autom. Softw. Eng.	2003	DBLP DOI BibTeX RDF	software requirements text analysis, evaluation of language processing technology, natural language processing, object-oriented analysis
1	Magdi N. Kamel, Tara L. Lutman	The Defense Manpower Data Center Pay Data Warehouse: Development and Lessons Learned. (PDF / PS)	DEXA Workshops	2002	DBLP DOI BibTeX RDF
1	Romi S. Wahono, Behrouz H. Far	A Framework for Object Identification and Refinement Process in Object-Oriented Analysis and Design.	IEEE ICCI	2002	DBLP DOI BibTeX RDF	object refinement, requirements engineering, object identification
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	Tae-Hyong Kim, Robert L. Probert, Igor Sales, Alan W. Williams	Rapid Development of Network Software via SDL/Socket Interfaces.	SAM	2002	DBLP DOI BibTeX RDF	Socket Interface, SDL, Code Integration
1	Michael Lang, Jim Duggan	A Tool to Support Collaborative Software Requirements Management.	Requir. Eng.	2001	DBLP DOI BibTeX RDF	Software development process, Computer-aided software engineering, Requirements management, Requirements volatility
1	Andrew Brooks, Louise Scott	Constraints in CASE Tools: Results from Curiosity Driven Research.	Australian Software Engineering Conference	2001	DBLP DOI BibTeX RDF
1	Ilona Bluemke	Object Oriented Metrics Useful in the Prediction of Class Testing Complexity.	EUROMICRO	2001	DBLP DOI BibTeX RDF
1	Jesús Manuel Almendros-Jiménez, Luis González-Jiménez	The LAST project: development of a formal method for IS-specification and of a CASE-tool for IS-design.	APSEC	2000	DBLP DOI BibTeX RDF	LAST project, information system specification, LAST-UML, user interfaces, user interface, formal method, information systems, specification languages, linear algebra, linear algebra, algebraic specification, set theory, set theory, CASE tool, computer aided software engineering, information system design
1	Paul J. Layzell, Pearl Brereton, A. French	Supporting collaboration in distributed software engineering teams.	APSEC	2000	DBLP DOI BibTeX RDF	distributed software engineering teams, support technology, economic factors, software process globalization, geographical separation, software development personnel, project quality, distributed software projects, industrial context, educational context, team structure, communication, groupware, project management, project management, cooperation, computer aided software engineering, software development management, stakeholders, human resource management, procedures, project support environments, collaboration support
1	Jooyoung Seo, Byoungju Choi	Tailoring test process by using the component-based development paradigm and the XML technology.	APSEC	2000	DBLP DOI BibTeX RDF	IEC standards, software test process customization, component-based development paradigm, project-specific standards, test process meta-model, process tailoring scheme, component-based development customization technique, AutoTP, Rational Objectory process, Extensible Markup Language, software tools, software processes, software process improvement, program testing, computer aided software engineering, subroutines, software products, ISO, software standards, automation tool, ISO standards, XML technology, hypermedia markup languages, IEC
1	Saehwa Kim, Sukjae Cho, Seongsoo Hong	Schedulability-aware mapping of real-time object-oriented models to multi-threaded implementations.	RTCSA	2000	DBLP DOI BibTeX RDF	schedulability-aware mapping, multithreaded implementations, real time software developers, object oriented CASE tools, non-trivial optimization problem, task identification, schedulability-aware approach, mutually exclusive transactions, schedulability analysis algorithm, executable code, task derivation problem, scheduling, real-time systems, object-oriented programming, case study, real time schedulability, task model, multi-threading, CASE tools, computer aided software engineering, run-time system, design model, automated synthesis, object oriented design methods, real time object oriented models
1	Lothar Baum, Martin Becker	Generic Components to Foster Reuse.	TOOLS	2000	DBLP DOI BibTeX RDF	software development efficiency, project-specific aspects, reusable component contribution, inefficient general solutions, niche requirements, specifically optimized designs, requirements space, adaptable generic components, automatic component instantiation, embedded systems, software tools, software tools, abstraction, software reuse, software components, software reusability, computer aided software engineering, operating systems (computers), subroutines, embedded operating systems
1	Albert Mo Kim Cheng, Jeng-Rung Chen	Response Time Analysis of OPS5 Production Systems.	IEEE Trans. Knowl. Data Eng.	2000	DBLP DOI BibTeX RDF	real-time decision systems, special forms, verification, static analysis, response time, Computer-aided software engineering, rule-based programs, OPS
1	Jonathan D. Fouss, Kai H. Chang	A collaborative approach to software engineering.	ACM Southeast Regional Conference	2000	DBLP DOI BibTeX RDF
1	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
1	Jonathan Gray	Software Engineering Tools - Introduction. (PDF / PS)	HICSS	2000	DBLP DOI BibTeX RDF
1	Christian Heide Damm, Klaus Marius Hansen, Michael Thomsen, Michael Tyrsted	Tool Integration: Experiences and Issues in Using XMI and Component Technology.	TOOLS	2000	DBLP DOI BibTeX RDF
1	Christian Heide Damm, Klaus Marius Hansen, Michael Thomsen, Michael Tyrsted	Creative Object-Oriented Modelling: Support for Intuition, Flexibility, and Collaboration in CASE Tools.	ECOOP	2000	DBLP DOI BibTeX RDF
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	Harri Oinas-Kukkonen	Flexible CASE and hypertext.	ACM Comput. Surv.	1999	DBLP DOI BibTeX RDF	computer-aided software engineering, integrated environments
1	Jeffrey M. Voas	Software Quality's Eight Greatest Myths.	IEEE Software	1999	DBLP DOI BibTeX RDF
1	Dominique Eyheramendy, Thomas Zimmermann	Object-Oriented Symbolic Derivation and Automatic Programming of Finite Elements in Mechanics.	Eng. Comput. (Lond.)	1999	DBLP DOI BibTeX RDF	Object-oriented pro-gramming, Symbolic approaches, Finite elements
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	Blaz Zupan, Albert Mo Kim Cheng	Optimization of Rule-Based Systems Using State Space Graphs.	IEEE Trans. Knowl. Data Eng.	1998	DBLP DOI BibTeX RDF	real-time decision systems, state-space graphs, optimization, synthesis, response time, Computer-aided software engineering, rule-based programs
1	Gil Hoggarth, Mike A. Lockyer	An automated student diagram assessment system.	ITiCSE	1998	DBLP DOI BibTeX RDF	automated diagram assessment, learning framework, student feedback, CASE, CAL
1	Donna Dufner, Ojoung Kwon, Rassule Hadidi	Development and Implementation of Web-Enabled Cyber Collaboratory for Asynchronous Teams (Web-CCAT). (PDF / PS)	HICSS	1998	DBLP DOI BibTeX RDF
1	Xavier Crégut, Bernard Coulette	Filling the gap between CASE tools and PSEEs.	ECBS	1997	DBLP DOI BibTeX RDF	RHODES, process description language, PBOOL, formal approach concepts, real development requirements, CASE tools, computer aided software engineering, PSEEs, object-oriented techniques
1	Robert B. France, Matthew P. Evett, Emanuel S. Grant	Towards Semantic-Based Object-Oriented CASE Tools. (PDF / PS)	ASE	1997	DBLP DOI BibTeX RDF	semantic-based object-oriented CASE tools, loosely defined semantics, object-oriented methods, computer aided software engineering, semantic analysis
1	T. Yamaguchi	Modeling Software Processes by using Process and Object Ontologies. (PDF / PS)	ASE	1997	DBLP DOI BibTeX RDF	object ontologies, software process plans, software processes, constraint satisfaction, computer aided software engineering, ontologies engineering, user queries, process ontology
1	William B. Frakes, Rubén Prieto Díaz, Christopher J. Fox	DARE-COTS: A Domain Analysis Support Tool (Invited Paper). (PDF / PS)	SCCC	1997	DBLP DOI BibTeX RDF	DARE-COTS, domain analysis support tool, related software systems, system commonalities, system variabilities, domain information capture, domain book, domain-specific reusable components, faceted analysis, clustering, information retrieval, CASE tool, computer aided software engineering, information storage, commercial off-the-shelf software, generic architecture
1	Maokai Gong, Louise Scott, Ray Offen	MetaBuilder: a Generic CASE Tool Builder.	APSEC	1997	DBLP DOI BibTeX RDF	Software Engineering, Graphic User Interface, meta-CASE
1	Dimitra Bamboulis, Tom Addison	Computer Aided Software Engineering: An Assessment of Benefits in a Sample of South African Companies.	ECIS	1996	DBLP BibTeX RDF
1	Nancy S. Eickelmann, Debra J. Richardson	An Evaluation of Software Test Environment Architectures.	ICSE	1996	DBLP BibTeX RDF	CITE, CONVEX Integrated Test Environment, PROLOG Test Environment, Version II, PROTest II, Software Architectural Analysis Method, TAOS, Testing with Analysis and Oracle Support, architecturally imposed constraints, environment functions allocation, implementation structures, processing algorithms, software test environment architectures, test development, test failure analysis, test measurement, test process automation, performance, software architecture, programming environments, program testing, software reusability, extensibility, reusability, software performance evaluation, portability, functionality, computer aided software engineering, software portability, testing tools, data representation, reference architecture, modifiability, test management, modifications, test planning, test execution, SAAM
1	Claude Godart, Gérôme Canals, François Charoy, Pascal Molli, Hala Skaf	Designing and Implementing COO: Design Process, Architectural Style, Lessons Learned.	ICSE	1996	DBLP BibTeX RDF	COO, layered subject-oriented architecture, software development framework, coordination, implementation, cooperation, software process, design process, computer aided software engineering, architectural style, software development environment, project support environments, development systems
1	Yi-Jing Lin, Steven P. Reiss	Configuration Management with Logical Structures.	ICSE	1996	DBLP BibTeX RDF	cooperative programming, prototype environment, programming environments, software reuse, software design, software reusability, modules, functions, configuration management, source code, computer aided software engineering, versions, classes, files, directories, logical structures
1	Akira K. Onoma, Hiroshi Suganuma, Mustafa H. Poonawala, Satish Subramanian, Wei-Tek Tsai, Tsutomu Syomura	Opusdei-Integrated Environment for Software Development and Maintenance. (PDF / PS)	COMPSAC	1996	DBLP DOI BibTeX RDF	industrial software, uniform representation, central repository, tool repository, uniform software artifacts representation, traceability maintenance, tools repository, tool composition scenarios, automatic documentation, software maintenance, software maintenance, software development, software tools, documentation, computer aided software engineering, versioning control, integrated environment, software artifacts, project support environments, integrated software
1	Stephen S. Yau, Jun Wang	A Framework for an Integrated Tool Set for Object-Oriented Analysis of Application Software Development. (PDF / PS)	COMPSAC	1996	DBLP DOI BibTeX RDF	integrated tool set, application software development, distributed parallel systems, object-oriented code generation, textual specifications, object-oriented design phase, integrated tools set, parallel programming, object-oriented programming, software tools, program verification, CASE tools, computer aided software engineering, object-oriented analysis, graphical representations, object-oriented software development, sequential systems
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	Juan C. Fabero, Ignacio Martín Llorente, Alfredo Bautista, S. Molina	Dynamic Load Balancing in a Heterogeneous Environment under PVM.	PDP	1996	DBLP DOI BibTeX RDF	heterogeneous workstations net, parallel algorithms, resource allocation, programming environments, processor scheduling, dynamic load balancing, computer aided software engineering, heterogeneous environment, virtual storage, computational load, computational requirements
1	Franco Zambonelli, Matteo Pugassi, Letizia Leonardi, Nello Scarabottolo	Experiences on Porting a Parallel Objects Environment from a Transputer Network to a PVM-Based System.	PDP	1996	DBLP DOI BibTeX RDF	Parallel Objects, parallel object-oriented programming, PVM environment, heterogeneous computer networks, parallel programming, object-oriented programming, programming environments, computer aided software engineering, software portability, massively parallel architecture
1	Lo Ko, Christopher A. Healy, Emily Ratliff, Robert D. Arnold, David B. Whalley, Marion G. Harmon	Supporting the specification and analysis of timing constraints. (PDF / PS)	IEEE Real Time Technology and Applications Symposium	1996	DBLP DOI BibTeX RDF	timing constraints analysis, real-time programmers, user-friendly environment, user specification, real-time systems, user interface, formal specification, timing, synchronisation, timing constraints, computer aided software engineering, C language, C program, project support environments
1	Matthew F. Storch, Jane W.-S. Liu	DRTSS: a simulation framework for complex real-time systems. (PDF / PS)	IEEE Real Time Technology and Applications Symposium	1996	DBLP DOI BibTeX RDF	DRTSS, complex multi-paradigm distributed real-time systems, timing-oriented prototyping tools, PERTS schedulability analyzer tool, a priori schedulability analysis, real-time systems, virtual machines, distributed processing, discrete-event simulators, software performance evaluation, computer aided software engineering, software prototyping, simulation framework, verification tools, complex real-time systems
1	Steven Kelly, Kalle Lyytinen, Matti Rossi	MetaEdit+: A Fully Configurable Multi-User and Multi-Tool CASE and CAME Environment.	CAiSE	1996	DBLP DOI BibTeX RDF	CAME, conceptual modeling, metamodeling, method, object oriented modeling, repository, CASE, tool integration, software engineering environments, tool interoperability
1	G. Premkumar, Michael Potter	Adoption of Computer Aided Software Engineering (CASE) Technology: An Innovation Adoption Perspective.	DATA BASE	1995	DBLP DOI BibTeX RDF
1	Robert Urwiler, Narender K. Ramarapu, Ronald B. Wilkes, Mark N. Frolick	Computer-aided software engineering: The determinants of an effective implementation strategy.	Information & Management	1995	DBLP DOI BibTeX RDF
1	Filip Thoen, Marco Cornero, Gert Goossens, Hugo De Man	Real-time multi-tasking in software synthesis for information processing systems.	ISSS	1995	DBLP DOI BibTeX RDF	automatic processor mapping, automatically generated application-specific solution, concurrent process system specification, flexible execution models, hardware resource utilization, information processing systems, internal representation model, mobile satellite communication, personal terminal receiver demodulator, real-time multi-tasking, static information, time utilization, real-time systems, embedded systems, concurrency control, processor scheduling, timing constraints, computer aided software engineering, software synthesis, multiprocessing programs
1	Roberto Manione, Alberto Lagna	Simulation of object-oriented distributed systems via compilation to concurrent process level.	Annual Simulation Symposium	1995	DBLP DOI BibTeX RDF	object-oriented distributed systems, concurrent process level, object based software architectures, object based software platforms, prototype CASE environment, ACE computational model, TINA-C architecture, simulation engine, ACE language semantics, asynchronous method invocation, method guards, state of the art workstation, parallel processing, formal specification, compilation, programming environments, digital simulation, templates, object-oriented methods, computer aided software engineering, computational linguistics, Building Block, application specification, application generators, parallelising compilers, object oriented simulation, concurrent objects, program processors
1	Yves Le Traon, Chantal Robach	Testability analysis of co-designed systems.	Asian Test Symposium	1995	DBLP DOI BibTeX RDF	co-designed data-flow specifications, high level testability analysis, information transfer graph, bipartite directed graph, SATAN tool, computer assisted specification diagram, all-nodes criterion, all-paths criterion, multiple clue strategy, start big strategy, diagnosis quality factor, software components testability, formal specification, fault diagnosis, program testing, data flow analysis, computer aided software engineering, hardware description languages, data flow graphs, testability analysis, automatic test software, functional specification, test set generation, avionics systems, hardware modelling
1	Xiaoping Jia	An approach to animating Z specifications. (PDF / PS)	COMPSAC	1995	DBLP DOI BibTeX RDF	ZANS approach, animation approaches, imperative intermediate language, formal specification, computer science education, specification languages, visual programming, computer aided software engineering, requirements validation, Z specifications, code synthesis, Z specification languages
1	Joseph E. Urban, Hankyu Joo	Executable specifications for distributed software systems.	FTDCS	1995	DBLP DOI BibTeX RDF	front-end life cycle, upper CASE aspects, core software requirements, management component, distributed development teams, techniques/tools component, specification language development, formal specification, Petri nets, distributed algorithms, distributed computing, software development, temporal logic, distributed processing, specification languages, computer aided software engineering, executable specifications, distributed software systems
1	C. S. Yang, Shepherd S. B. Shi, A. Y. M. Liu	Distributed applications construction environment .	FTDCS	1995	DBLP DOI BibTeX RDF	distributed applications construction environment, DCE client and server application, client/server program construction environment, parallel programming, programming environments, programming environment, client-server systems, computer aided software engineering
1	Vincenzo Catania, N. Fiorito, Michele Malgeri, Marco Russo	A soft computing approach to hardware software codesign.	Great Lakes Symposium on VLSI	1995	DBLP DOI BibTeX RDF	soft computing approach, partitioning phase, genetic algorithms, genetic algorithms, fuzzy logic, fuzzy logic, logic CAD, computer aided software engineering, hardware/software codesign
1	Xianwu Ma, Tom Hintz	Re-Vision: a methodology and tool for parallel computations.	HICSS	1995	DBLP DOI BibTeX RDF	Re-Vision, behaviour-oriented formalism, multiple problem views, methodology specification, modeling, user interfaces, parallel programming, parallel computations, software tools, programming environments, metamodeling, computer aided software engineering, data transformation, complexity reduction, software engineering methodology, computer environment
1	Christian Scheidler, Lorenz Schäfers, Ottmar Krämer-Fuhrmann	Software engineering for parallel systems: the TRAPPER approach.	HICSS	1995	DBLP DOI BibTeX RDF	TRAPPER, graphical programming environment, graphical design methodology, process graphs, cooperating sequential processes, homogeneous view, software engineering, formal specification, parallel programming, graphical user interfaces, monitoring, graphs, mapping, programming environments, software design, visual programming, software visualization, software performance evaluation, parallel systems, computer aided software engineering, parallel applications, performance monitoring, system monitoring, graphical notations, hierarchical specification, hardware configuration, development cycle, application partitioning
1	Christof Ebert	Tracing complexity through the software process.	ICECCS	1995	DBLP DOI BibTeX RDF	complete development process, complexity factors, real-time automation projects, real-time systems, real-time systems, computational complexity, complexity, formal specification, software metrics, software process, computer aided software engineering, development environments, research project, specification methods, CASE environment
1	Panagiotis K. Linos	PolyCARE: a tool for re-engineering multi-language program integrations.	ICECCS	1995	DBLP DOI BibTeX RDF	multi-language program integration reengineering tool, PolyCARE tool, multiple programming languages, program component formalisation, program component classification, program component relationships, poly-paradigmatic computer-aided re-engineering, dependency detection, dependency visualisation, transformation mechanisms, partitioning techniques, software maintenance, software tools, systems analysis, program comprehension, maintenance, data visualisation, computer aided software engineering, multiprogramming, systems re-engineering, presentation model