Search results for "software prototyping"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Elliot A. Shefrin, James M. Purtilo	Tool support for collaborative software prototyping. (PDF / PS)	WETICE	1995	DBLP DOI BibTeX RDF	collaborative software prototyping, firm specifications, reconfiguration-based prototyping, subject matter specialists, formal specification, groupware, software tools, reconfiguration, tool support, software prototyping, user feedback, development environment, software behavior
2	Francis Rousseaux, Kevin Lhoste	Rapid Software Prototyping Using Ajax and Google Map API.	ACHI	2009	DBLP DOI BibTeX RDF
2	Nick Seow, Andrew Dorrell	Declarative Video Processing for Decomposable Algorithm Simulation.	DICTA	2007	DBLP DOI BibTeX RDF	Software engineering, Functional programming, Software prototyping, Video signal processing
2	Kang Zhang, Guang-Lei Song, Jun Kong	Rapid Software Prototyping Using Visual Language Techniques.	IEEE International Workshop on Rapid System Prototyping	2004	DBLP DOI BibTeX RDF
2	Juan Carlos Nogueira, Luqi, Swapan Bhattacharya	A Risk Assessment Model for Software Prototyping Projects. (PDF / PS)	IEEE International Workshop on Rapid System Prototyping	2000	DBLP DOI BibTeX RDF	Prototyping, Software risk, Estimation models
2	Torsten Braun, Isabelle Chrisment, Christophe Diot, François Gagnon, Laurent Gautier	ALFred, a Protocol Compiler for the Automated Implementation of Distributed Applications. (PDF / PS)	HPDC	1996	DBLP DOI BibTeX RDF	protocol compiler, ALFred, end-to-end communication functions, high performance implementation, control compiler, ALF compiler, data manipulation compiler, ILP compiler, high performance communication architectures, formal specification, formal specification, protocols, distributed processing, specification languages, software design, distributed applications, program compilers, software performance evaluation, software prototyping, software prototyping, ESTEREL, communication architecture, data handling
2	Horst Lichter, Matthias Schneider-Hufschmidt, Heinz Züllighoven	Prototyping in Industrial Software Projects-Bridging the Gap Between Theory and Practice.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	industrial software projects, industrial software production, central prototyping concepts, development strategy, end user involvement, pilot system, horizontal prototyping, vertical prototyping, presentation prototype, software engineering, human factors, project management, software development management, software prototyping, software prototyping
2	Shinichi Honiden, Naoshi Uchihira, Toshiaki Kasuya	Software Prototyping with MENDEL.	LP	1985	DBLP DOI BibTeX RDF
1	Pascal Urard, Asma Maalej, Roberto Guizzetti, Nitin Chawla	Leveraging sequential equivalence checking to enable system-level to RTL flows.	DAC	2008	DBLP DOI BibTeX RDF	formal verification, high-level synthesis, equivalence checking, system-level models, RTL models
1	Claudine Toffolon, Salem Dakhli	An Iterative Meta-Lifecycle for Software Development, Evolution and Maintenance.	ICSEA	2008	DBLP DOI BibTeX RDF
1	Christopher C. Tsai, Gunny Lee, Fred Raab, Gregory J. Norman, Timothy Sohn, William G. Griswold, Kevin Patrick	Usability and Feasibility of PmEB: A Mobile Phone Application for Monitoring Real Time Caloric Balance.	MONET	2007	DBLP DOI BibTeX RDF	user centered design methodology, mobile communication, software prototyping, behavioral science
1	Kai Huang, Lothar Thiele	Performance analysis of multimedia applications using correlated streams.	DATE	2007	DBLP DOI BibTeX RDF
1	Anmol Mathur, Venkat Krishnaswamy	Design for Verification in System-level Models and RTL.	DAC	2007	DBLP DOI BibTeX RDF
1	Michael Feary	Automatic Detection of Interaction Vulnerabilities in an Executable Specification.	HCI	2007	DBLP DOI BibTeX RDF	automation surprise analysis, automation design
1	Mikael Drugge, Josef Hallberg, Peter Parnes, Kåre Synnes	Wearable Systems in Nursing Home Care: Prototyping Experience.	IEEE Pervasive Computing	2006	DBLP DOI BibTeX RDF	ubiquitous computing, software prototyping, medical computing
1	Philippe Georgelin, Venkat Krishnaswamy	Towards a C++-based design methodology facilitating sequential equivalence checking.	DAC	2006	DBLP DOI BibTeX RDF	modeling methodology, sequential equivalence checking
1	Xiping Song, Arnold Rudorfer, Beatrice Hwong, Gilberto Matos, Christopher Nelson	S-RaP: A Concurrent, Evolutionary Software Prototyping Process.	ISPW	2005	DBLP DOI BibTeX RDF
1	Xiping Song, Gilberto Matos, Beatrice Hwong, Arnold Rudorfer, Christopher Nelson	S-RaP: A Concurrent Prototyping Process for Refining Workflow-Oriented Requirements.	RE	2005	DBLP DOI BibTeX RDF
1	Luis Pedro, Levi Lucio, Didier Buchs	Prototyping Domain Specific Languages with COOPN.	RISE	2005	DBLP DOI BibTeX RDF
1	François Charot, Madeleine Nyamsi, Patrice Quinton, Charles Wagner	Architecture Exploration for 3G Telephony Applications Using a Hardware-Software Prototyping Platform.	SAMOS	2004	DBLP DOI BibTeX RDF
1	George M. Lawler, Paul E. Young	Approaching Interoperability from the Bottom up: A Lattice Structure for the Object-Oriented Method for Interoperability (OOMI).	IEEE International Workshop on Rapid System Prototyping	2004	DBLP DOI BibTeX RDF
1	Chee Chern Lim, Man Hing Yu, Jesse J. Jin	Rapid Prototyping for Web Applications.	WAIM	2004	DBLP DOI BibTeX RDF
1	Claudine Toffolon, Salem Dakhli	Software Prototyping Classification.	ICEIS	2003	DBLP BibTeX RDF
1	Jennifer Z. Guan, Luqi	A Software Prototyping Framework and Methods for Supporting Human's Software Development Activities.	ICSE Workshop on SE-HCI	2003	DBLP BibTeX RDF
1	Luqi, Valdis Berzins, Jun Ge, Man-tak Shing, Mikhail Auguston, Barrett R. Bryant, Boon Kwang Kin	DCAPS - Architecture for Distributed Computer Aided Prototyping System.	IEEE International Workshop on Rapid System Prototyping	2001	DBLP DOI BibTeX RDF
1	Oliver Kohlbacher, Hans-Peter Lenhof	BALL-rapid software prototyping in computational molecular biology.	Bioinformatics	2000	DBLP DOI BibTeX RDF
1	Nicolas Boghossian, Oliver Kohlbacher, Hans-Peter Lenhof	Rapid Software Prototyping in Molecular Modeling Using the Biochemical Algorithms Library (BALL).	ACM Journal of Experimental Algorithmics	2000	DBLP DOI BibTeX RDF
1	Henrik Hermansson, Mattias Johansson, Lars Lundberg	A distributed component architecture for a large telecommunication application.	APSEC	2000	DBLP DOI BibTeX RDF	invoicing, accounts data processing, distributed component architecture, telecommunication application, Ericsson Billing Gateway, scalability, software architecture, prototype, throughput, reconfigurable architectures, distributed programming, software performance evaluation, software prototyping, telecommunication computing, distributable components, modifiability, performance characteristics
1	Yves Meylan, Aneema Bajpai, Riccardo Bettati	ProtEx: a toolkit for the analysis of distributed real-time systems.	RTCSA	2000	DBLP DOI BibTeX RDF	ProtEx toolkit, distributed real-time systems analysis, Rate Monotonic Analysis framework, queuing policies, RMA approach, flexible resource modeling, scheduling, scheduling, real-time systems, prototyping, distributed processing, software tools, systems analysis, workload, software prototyping
1	Ansgar Bredenfeld	Integration and Evolution of Model-Based Tool Prototypes. (PDF / PS)	IEEE International Workshop on Rapid System Prototyping	2000	DBLP DOI BibTeX RDF
1	Rainer Kress, Andreas Pyttel, Alexander Sedlmeier	FPGA-Based Prototyping for Product Definition.	FPL	2000	DBLP DOI BibTeX RDF
1	Giovanni Guida, Gianfranco Lamperti, Marina Zanella	Software Prototyping in Data and Knowledge Engineering		1999	RDF
1	Oliver Kohlbacher, Hans-Peter Lenhof	Rapid Software Prototyping in Computational Molecular Biology.	German Conference on Bioinformatics	1999	DBLP BibTeX RDF
1	Achim Österling, Rolf Ernst	Process Versions in Rapid Prototyping. (PDF / PS)	IEEE International Workshop on Rapid System Prototyping	1999	DBLP DOI BibTeX RDF	Classification-Driven Transformations, Process Versions, Real-Time Systems, Rapid Prototyping, Hardware/Software Codesign, Software Prototyping, Heterogeneous Architectures
1	Dong-Gil Ko	Information Requirements Analysis and Multiple Knowledge Elicitation Techniques: Experience with the Pricing Scenario System. (PDF / PS)	HICSS	1999	DBLP DOI BibTeX RDF
1	Nicolas Boghossian, Oliver Kohlbacher, Hans-Peter Lenhof	BALL: Biochemical Algorithms Library.	Algorithm Engineering	1999	DBLP BibTeX RDF
1	Luis Sánchez Fernández, Gernot Koch, Natividad Martínez Madrid, María Luisa López Vallejo, Carlos Delgado Kloos, Wolfgang Rosenstiel	Hardware-Software Prototyping from LOTOS.	Design Autom. for Emb. Sys.	1998	DBLP DOI BibTeX RDF
1	Luqi, Carl K. Chang, Hong Zhu	Specifications in software prototyping.	Journal of Systems and Software	1998	DBLP DOI BibTeX RDF
1	Josef Fleischmann, Klaus Buchenrieder, Rainer Kress	A hardware/software prototyping environment for dynamically reconfigurable embedded systems.	CODES	1998	DBLP DOI BibTeX RDF	Java
1	Stuart Harvey Rubin	Knowledge-Based Software Prototyping and Reuse.	International Journal on Artificial Intelligence Tools	1997	DBLP DOI BibTeX RDF
1	Greg Breinholt	Software Prototyping of Hardware Interfaces.	HCI	1997	DBLP BibTeX RDF
1	John P. McDermott, R. Gelinas, S. Ornstein	Doc, Wyatt, and Virgil: Prototyping Storage Jamming Defenses.	ACSAC	1997	DBLP DOI BibTeX RDF	Doc, Wyatt, Virgil, storage jamming defense, storage jamming attack detection, replay defense, attack source determination, attack pattern determination, object-oriented data storage, application-specific techniques, access control, encryption, auditing, software prototyping, checksums, virus detection, prototype tools, logical replication, information warfare
1	Christian Stary, Nikolas Vidakis, Stefan Mohacsi, Markus Nagelholz	Workflow-oriented prototyping for the development of interactive software. (PDF / PS)	COMPSAC	1997	DBLP DOI BibTeX RDF	workflow-oriented prototyping, interactive software development, workflow specifications, implementation-independent layer, TADEUS, user interface, software prototyping, design representations, redesign, system functions
1	Georg Färber, Franz Fischer, Thomas Kolloch, Annette Muth	Improving processor utilization with a task classification model based application specific hard real-time architecture.	RTCSA	1997	DBLP DOI BibTeX RDF	task classification model, application specific hard real-time architecture, real-time architecture, target architecture framework, tightly coupled heterogeneous multiprocessor system, rapid prototyping platform, caches, pipelines, microprocessors, templates, schedulability analysis, execution times, software prototyping, hard real time systems, processor utilization
1	Tei-Wei Kuo, Shao-Juen Ho, Chih-Hung Wei, Farn Wang	PASS: a prototyping, analysis, simulation, and synthesis environment for real-time systems.	RTCSA	1997	DBLP DOI BibTeX RDF	PASS, prototyping environment, synthesis environment, event-driven model, end-to-end delay requirements, error propagation problem, chalkboard example, simulation, real-time systems, Ethernet, timing constraints, software prototyping
1	Hans Scholten, Pierre G. Jansen	A distributed multimedia toolbox.	RTCSA	1997	DBLP DOI BibTeX RDF	distributed multimedia toolbox, realtime multimedia technology, tele-teaching, real-time environment, network transparent multimedia services, temporal access commands, spatial synchronization, formal specification, operating system, rapid prototyping, collaborative work, teleconferencing, software prototyping, quality of service management, continuous media
1	Luqi, Man-tak Shing	Real-Time Scheduling for Software Prototyping.	Journal of Systems Integration	1996	DBLP DOI BibTeX RDF
1	Luqi	Specifications in Software Prototyping.	SEKE	1996	DBLP BibTeX RDF
1	Dirk Bäumer, Walter R. Bischofberger, Horst Lichter, Heinz Züllighoven	User Interface Prototyping - Concepts, Tools, and Experience.	ICSE	1996	DBLP BibTeX RDF	highly interactive software systems, industrial projects, tool classification, user interface quality, graphical user interfaces, software tools, software quality, user interface management systems, software prototyping, user interface prototyping
1	Matthew B. Dwyer, Lori A. Clarke	A Flexible Architecture for Building Data Flow Analyzers.	ICSE	1996	DBLP BibTeX RDF	combined data flow problems, data flow analyzer building, high-level component generators, pre-existing components, rapid prototyping, data flow analysis, software prototyping, precision, program diagnostics, design tradeoffs, flexible architecture
1	Kurt Schneider	Prototypes as Assets, not Toys: Why and How to Extract Knowledge from Prototypes.	ICSE	1996	DBLP BibTeX RDF	executable knowledge representations, explanation monitoring, hyperstructured information base, implementation tricks, personal prototyping environments, experiences, knowledge, concepts, software prototypes, software prototyping, computer applications, system monitoring
1	Hylke W. van Dijk, Gerben J. Hekstra, Ed F. Deprettere	Jacobi-Specific Processor Arrays.	ASAP	1996	DBLP DOI BibTeX RDF	Jacobi-specific processor arrays, Jacobi algorithms, array implementations prototyping, adaptive matrix QR decomposition, compiler, program compilers, software prototyping, Jacobian matrices
1	Reiner W. Hartenstein, Jürgen Becker, Michael Herz, Rainer Kress, Ulrich Nageldinger	A Synthesis System For Bus-Based Wavefront Array Architectures.	ASAP	1996	DBLP DOI BibTeX RDF	synthesis system, bus-based wavefront array architectures, datapath synthesis system, reconfigurable datapath architecture, internal data bus, automatic mapping, datapath units, high speed datapaths, parallel architectures, rapid prototyping, reconfigurable architectures, software prototyping, fine grained parallelism, data manipulations
1	Chia-Chu Chiang, Joseph E. Urban	Incremental Elicitation and Formalization of User Requirements through Rapid Prototyping via Software Transformations. (PDF / PS)	COMPSAC	1996	DBLP DOI BibTeX RDF	incremental elicitation, user specifications, TUG formal specification language, abstract execution, change request scripts, specification changes, timely updates, telegram analysis problem, formal specification, specification languages, rapid prototyping, formalization, software prototyping, user requirements, software transformations
1	Dennis B. Mulcare	System-level optimization of architectural performance under varying service demands.	ECBS	1996	DBLP DOI BibTeX RDF	system-level optimization, architectural performance, varying service demands, cost-performance measures, dynamic performance, varying workload, system resource parameters, architecture parameters, online transaction processing system, fitness metric, fitness ranking, multiple mutation operator mechanism, genetic algorithms, genetic algorithm, optimization, distributed processing, convergence, system design, systems analysis, performance measures, transaction processing, software performance evaluation, software prototyping, tolerances, online operation, chromosome, distributed system architectures
1	Miroslav Svéda	Embedded system design: a case study.	ECBS	1996	DBLP DOI BibTeX RDF	pumps, embedded distributed systems, dispenser control, local time concept, system-wide global clock, environment specification, system functional specification, logical structure description, petrol pumping station, explosion danger, uncontrolled petrol flow, real-time systems, formal specification, prototyping, distributed processing, controller, implementation, systems analysis, synchronisation, flow control, safety critical system, clocks, distributed control, software prototyping, safety-critical software, embedded system design, counter, control system CAD
1	Mun Choon Chan, Giovanni Pacifici, Rolf Stadler	Prototyping Network Architectures on a Supercomputer. (PDF / PS)	HPDC	1996	DBLP DOI BibTeX RDF	network architecture prototyping, dynamic behavior evaluation, overall performance evaluation, functional properties, interactive emulation platform, multimedia network services, load patterns, network management operations, KSR-1, SP2 parallel processor, graphics workstation, ATM links, performance evaluation, real-time systems, parallel programming, interactive systems, multimedia communication, data visualisation, supercomputer, software prototyping, software prototype, network operating systems, telecommunication computing, network control systems, engineering graphics, telecommunication network management, telecommunication control, real-time visualization, network sizes, dynamic properties, control system CAD
1	Michael E. Papka, Rick L. Stevens	UbiWorld: An Environment Integrating Virtual Reality, Supercomputing and Design. (PDF / PS)	HPDC	1996	DBLP DOI BibTeX RDF	UbiWorld, distributed wide-area heterogeneous computing technology, CAVE display devices, object library, embedded information technology, fine-grain heterogenous computing technology, process-defined behavior, UbiWorldcomm protocol, rooms, virtual reality, design, real-time systems, ubiquitous computing, interactions, groupware, distributed processing, information technology, rapid prototyping, wide area networks, supercomputing, object models, software prototyping, virtual objects, multi-access systems, virtual reality environment, shared virtual world, display devices, remote computers, virtual devices
1	Niki Afshartous, Malcolm C. Harrison	Expressing concurrency in Griffin. (PDF / PS)	ICPADS	1996	DBLP DOI BibTeX RDF	Griffin, statically typed language, Ada software, Griffin language constructs, extended select statement, receiving thread, readers-writers problem, group lock mechanism, scheduling groups, high-level algorithms, parallel programming, Ada, rapid prototyping, synchronisation, program debugging, software prototyping, synchronous communication
1	Anna Jeffries, Elizabeth A. Kemp, Elisabeth G. Todd, David I. Gray, Barry Butler	The role of functional prototyping in model validation.	ISCNZ	1996	DBLP DOI BibTeX RDF	functional prototyping, dairy farm management, knowledge based systems, decision support system, software prototyping, model validation, prototype system, intelligent DSS
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	Alan M. Davis	Software Prototyping.	Advances in Computers	1995	DBLP DOI BibTeX RDF
1	Yoshihiro Okada, Yuzuru Tanaka	IntelligentBox: a constructive visual software development system for interactive 3D graphic applications.	CA	1995	DBLP DOI BibTeX RDF	constructive visual software development system, interactive 3D graphic applications, IntelligentPad, 3D visual objects, user-friendly rapid-prototyping software development, frameworks, visual programming, computer animation, computer animations, software prototyping, IntelligentBox
1	Sudhir Aggarwal, Sandeep Mitra, Sanjay S. Jagdale	DCCA: a versatile paradigm for the description and development of concurrent communicating systems.	HICSS	1995	DBLP DOI BibTeX RDF	DCCA, concurrent communicating systems development, concurrent communicating systems description, Dynamic Coordinated Concurrent Activities, automated factory, multiprocessor cache coherence system, attendant toolset, model, distributed systems, software engineering, formal specification, formal specification, protocols, specification, prototyping, distributed processing, program verification, rapid prototyping, software prototyping, distributed control system
1	Tim Collins, James C. Browne	MaTRiX+/sup +/: an object-oriented environment for parallel high-performance matrix computations.	HICSS	1995	DBLP DOI BibTeX RDF	MaTRiX+/sup +/, object-oriented environment, parallel high-performance matrix computations, hierarchical matrix algebra, recursive implementations, compilation model, distributed-memory parallel supercomputers, computation distribution, data-driven single-program, multiple-data processor programs, parallel programming, object-oriented programming, programming environments, rapid prototyping, object-oriented languages, matrix algebra, software prototyping, efficient implementations, language extensions, abstraction level, mathematics computing, parallelising compilers, hierarchical data, language interface
1	Rainer Weinreich, Reinhold Plösch	Prototyping of parallel and distributed object-oriented systems: the PDC model and its environment.	HICSS	1995	DBLP DOI BibTeX RDF	PDC model, Proxy/Dispatcher/Collocutor technique, operating-system processes, local objects, dynamically bound, machine boundaries, Process-Build, implementation phase, distributed systems, parallel programming, concurrency, prototyping, distributed processing, software tools, parallel systems, object-oriented methods, operating systems (computers), software prototyping, real-time requirements, software life cycle, prototyping tool, distributed object-oriented systems
1	Paul A. Bennett	Advances in the design and deployment of human-machine interfaces.	ICECCS	1995	DBLP DOI BibTeX RDF	dynamic graphical interfaces, rapid prototyping paradox, CCG products, real-time systems, user interfaces, embedded systems, software prototyping, human-machine interfaces, man-machine systems
1	Martin J. Diepstraten	Command and control system requirements analysis. System requirements specification tactical system CUP CMT.	ICECCS	1995	DBLP DOI BibTeX RDF	command and control system requirements analysis, system requirements specification tactical system, CUP CMT, user requirements analysis, process and information analysis, technical system analysis, system-oriented level, system reengineering, integrated tool support, rapid prototyping, systems analysis, software prototyping, systems re-engineering, information analysis, structured approach, command and control systems
1	Alvaro Rendón, Juan C. Dueñas, Miguel A. de Miguel, Jyrki Leskela, Juan Antonio de la Puente, Gonzalo León, Alejandro Alonso	Animation of heterogeneous prototypes of real-time systems.	ICECCS	1995	DBLP DOI BibTeX RDF	heterogeneous prototypes animation, heterogeneous prototyping, internal architecture, heterogeneous prototypes, real-time systems, real-time systems, computational complexity, complexity, computer animation, software prototyping, risks reduction, global model
1	H. Singh, Peter N. Heller	WaveTool: an integrated software for wavelet and multirate signal processing. (PDF / PS)	ICIP	1995	DBLP DOI BibTeX RDF	multirate signal processing, WaveTool, multirate filter banks, one dimensional signal processing, integrated software environment, wavelet based algorithms, online multirate filter design, interactive tree building, seismic data compression, image processing, software tools, wavelet transforms, rapid prototyping, image analysis, image restoration, image restoration, image classification, image texture, software prototyping, texture classification, digital image processing, band-pass filters, geophysical signal processing, seismology, integrated software, integrated software
1	Filippo Lanubile, Giuseppe Visaggio	Iterative reengineering to compensate for quick-fix maintenance. (PDF / PS)	ICSM	1995	DBLP DOI BibTeX RDF	iterative reengineering, quick-fix maintenance, code patches, new version release, system documentation updating, system structure degradation, resistance to change, software system maintainability degradation, software reliability degradation, tolerance level, documentation realignment, software maintenance, software maintenance, software reliability, software prototyping, systems re-engineering, source code analysis, industrial case study, system documentation, system evolution, modifications, system renovation
1	Haengrae Cho, Yoo Sung Kim, Songchun Moon	Prototyping DIME: a tightly coupled heterogeneous distributed database system.	PDP	1995	DBLP DOI BibTeX RDF	tightly coupled, DIME, heterogeneous distributed database, global retrieval operations, global update operations, international standard protocols, remote database access, distributed databases, concurrency control, concurrency control, transaction processing, data distribution, software prototyping, distributed transaction processing
1	Martin Erwig, Bernd Meyer	Heterogeneous Visual Languages-Integrating Visual and Textual Programming. (PDF / PS)	VL	1995	DBLP DOI BibTeX RDF	heterogeneous visual languages, textual programming languages, practical software development requirements, visual expressions, domain-specific data structures, textual notations, abstract control structures, data structures, rapid prototyping, visual programming, visual languages, computer aided software engineering, functional languages, functional languages, software prototyping, logic programming languages, development systems, development system, logical languages, procedural languages
1	Richard Furuta, Jaime Navon, P. David Stotts	Subdocument invocation semantics in collaborative hyperdocuments. (PDF / PS)	WETICE	1995	DBLP DOI BibTeX RDF	subdocument invocation semantics, collaborative hyperdocuments, Trellis model, colored tokens, timed-Petri-net-based definition, multi-user distributed protocols, Computer Supported Cooperative Work, CSCW, Petri nets, protocols, specifications, groupware, hypermedia, rapid prototyping, client-server systems, software prototyping, client-server architecture
1	Stephen J. Andriole	Fast, Cheap Requirements: Prototype, or Else!	IEEE Software	1994	DBLP DOI BibTeX RDF	cheap requirements prototype, requirements modeling management, prototyping process, throwaway prototyping, exploratory prototyping, initial requirements, formal specification, specification, constraints, systems analysis, software prototyping, requirements modeling, requirements validation, interactive prototyping
1	Marc G. Bradac, Dewayne E. Perry, Lawrence G. Votta	Prototyping a Process Monitoring Experiment.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	process monitoring experiment, very large software system, large-scale long-term development, long-term process monitoring, waterfall view, interactive cyclic view, large-scale process monitoring experiment, software development, prototyping, software, hardware, software prototyping, experimental design, computerised monitoring, process computer control
1	Shinichi Honiden, Kazuhiko Nishimura, Naoshi Uchihira, Kiyoshi Itoh	An Application of Artificial Intelligence to Object-Oriented Performance Design for Real-Time Systems.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	object-oriented performance design, rapid prototyping method, OOPD, prototyping phases, prototype construction, prototype execution, artificial intelligence based methods, rapid construction mechanism, hybrid inference mechanism, declarative knowledge representation, MENDEL, Prolog based concurrent object-oriented language, prototype construction tool, real-time systems, real-time systems, artificial intelligence, object-oriented programming, knowledge representation, expert systems, expert system, software reusability, inference mechanisms, object-oriented languages, parallel languages, software prototyping, qualitative reasoning, reusable software components, prototype evaluation
1	Yen-Min Huang, Chinya V. Ravishankar	Designing an Agent Synthesis System for Cross-RPC Communication.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	agent synthesis system, cross-RPC communication, RPC protocols, large heterogeneous environment, RPC agents, RPC heterogeneities, agent development costs, cross-RPC performance, distributed systems, parallel programming, protocols, rapid prototyping, software prototyping, remote procedure calls, remote procedure call, telecommunications computing, transport layer, maintenance costs
1	Valdis Berzins, Luqi, Amiram Yehudai	Using Transformations in Specification-Based Prototyping.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	software tool support, specification-based prototyping, system interfaces, externally observable behavior, chronological derivation sequences, formal specification, software evolution, process model, software prototyping, abstraction level, software transformations, system description
1	Bernd J. Krämer, Luqi, Valdis Berzins	Compositional Semantics of a Real-Time Prototyping Language.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	real-time prototyping language, PSDL, data flow notation, application-orientation timing, control constraints, algebraic high-level Petri nets, concurrency concepts, real-time systems, formal specification, Petri nets, synchronization, specification languages, abstract data types, abstract data types, formal semantics, algebraic specifications, software prototyping, hard real-time systems, compositional semantics, timing behavior
1	Kiyoshi Itoh, Yasuhisa Tamura, Shinichi Honiden	Transobj: Software Prototyping Environment for Real-Time Transaction-Based Software System Applications.	International Journal of Software Engineering and Knowledge Engineering	1992	DBLP DOI BibTeX RDF
1	Sergio Greco, Nicola Leone, Pasquale Rullo	COMPLEX: An Object-Oriented Logic Programming System.	IEEE Trans. Knowl. Data Eng.	1992	DBLP DOI BibTeX RDF	object-oriented logic programming system, knowledge-based applications, Complex-Datalog, C-Datalog, semantic constructs, bottom-up computational model, fully declarative style of programming, top-down model, COMPLEX, object-oriented programming, logic programming, knowledge based systems, tool, software prototyping, prototypical implementation, logic language
1	Filippo Cacace, Stefano Ceri, Letizia Tanca, Stefano Crespi-Reghizzi	Designing and Prototyping Data-Intensive Applications in the Logres and Algres Programming Environment.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	Logres, Algres, persistent data, declarative requirements, imperative code, formal specification, prototyping, programming environment, programming environments, rapid prototyping, relational algebra, integrity constraints, software prototyping, human errors, data-intensive applications, application specifications, object-oriented data modeling, rule-based programming, database language
1	Stephen Fickas, B. Robert Helm	Knowledge Representation and Reasoning in the Design of Composite Systems.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	implementation process, human agents, deficiency-driven design, reasoning techniques, formal specification, knowledge representations, knowledge representation, software reusability, inference mechanisms, software prototyping, formal analysis, design reuse, rationalization, incremental design, composite systems, requirements acquisition
1	Giancarlo Nota, Giuliano Pacini	Querying of Executable Software Specifications.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	executable software specifications, requirements specification phase, external events, language RSQ, RSF, formal specification, query languages, specification languages, specification languages, querying, rapid prototyping, software designer, time constraints, software prototyping
1	Andreas Stafylopatis, Aristidis Likas	Pictorial Information Retrieval Using the Random Neural Network.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	pictorial information retrieval, random neural network, autoassociative memory operation, stored symbolic images, performance, information retrieval, learning, graphical user interfaces, computerised picture processing, neural nets, software prototype, software prototyping, hierarchical structure, graphical interface, content-addressable storage, recall, random network
1	Luqi	Computer-Aided Software Prototyping.	IEEE Computer	1991	DBLP BibTeX RDF
1	Sergio Cárdenas-García, Marvin V. Zelkowitz	A Management Tool For Evaluation of Software Designs.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	economic decision theory, prototyping investigative system, equilibrium probabilities, software tools, decision support system, decision support systems, program verification, program verification, software designs, software prototyping, risk analysis, functional model, evaluation strategy, Selector, management tool
1	Pam J. Mayhew	Software Prototyping: Implications for the People Involved in Systems Development.	CAiSE	1990	DBLP DOI BibTeX RDF
1	Michela Degl'Innocenti, Gian Luigi Ferrari, Giuliano Pacini, Franco Turini	RSF: A Formalism for Executable Requirement Specifications.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	RSF, executable requirement specifications, occurrence times, logic programming, queries, rapid prototyping, events, time constraints, formalism, software prototyping, answers, transition rules
1	Sang Hyuk Son, Yumi Kim	A Software Prototyping Environment and Its Use in Developing a Multiversion Distributed Database System.	ICPP	1989	DBLP BibTeX RDF
1	Stefano Ceri, Stefano Crespi-Reghizzi, Andrea Di Maio, Luigi Lavazza	Software Prototyping by Relational Techniques: Experiences with Program Construction Systems.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	program construction systems, relational languages, Ada Relational Translator, compiler-interpreter, semantic analyzer, Multi-Micro Line, data structures, data structures, Ada, relational databases, relational databases, prototyping, programming environments, programming environments, interpreter, program compilers, kernel, relational algebra, program interpreters, ART, parser, debugger, MML, configuration control
1	Luqi	Knowledge-Based Support for Rapid Software Prototyping.	IEEE Expert	1988	DBLP BibTeX RDF
1	Robert P. Cook, Rihard J. Auletta	StarLite, a visual simulation package for software prototyping.	SDE	1986	DBLP DOI BibTeX RDF
1	Neil M. Goldman	Software prototyping by progressive annotation.	ISPW	1986	DBLP BibTeX RDF
1	James W. Hooper, John T. Ellis, T. A. Johnson	Distributed Software Prototyping with ADS.	ICSE	1985	DBLP BibTeX RDF
1	Ian H. Witten, Graham M. Birtwistle, John G. Cleary, David R. Hill, Danny Levinson, Greg Lomow, Radford M. Neal, Murray Peterson, Brian Unger, Brian Wyvill	Jade: A Distributed Software Prototyping Environment.	Operating Systems Review	1983	DBLP DOI BibTeX RDF