Search results for "abstraction"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
14	Béatrice Bérard, Paul Gastin, Antoine Petit 0001	Timed substitutions for regular signal-event languages.	Formal Methods Syst. Des.	2007	DBLP DOI BibTeX RDF	Signal-event word, Refinement, Abstraction, Timed automata, Substitution
14	Yuila Stolin, Orit Hazzan	Students' understanding of computer science soft ideas: the case of programming paradigm.	ACM SIGCSE Bull.	2007	DBLP DOI BibTeX RDF	student conception, abstraction, programming languages, programming paradigm
14	Fathi Taibi, Jacob Karikottu Daniel, Fouad Mohammed Abbou	On checking the consistency of Object-Z classes.	ACM SIGSOFT Softw. Eng. Notes	2007	DBLP DOI BibTeX RDF	model checking, formal specification, consistency, Object-Z, specification testing, model abstraction
14	José Mira Mira, Ana E. Delgado García	On how the computational paradigm can help us to model and interpret the neural function.	Nat. Comput.	2007	DBLP DOI BibTeX RDF	abstraction processes, causality levels, external observer, nested organizations, symbols in neurophysiology, computational paradigm
14	Nathaniel Charlton	Program verification with interacting analysis plugins.	Formal Aspects Comput.	2007	DBLP DOI BibTeX RDF	Open product, Abstraction, Software verification, Plugins
14	Patrick Eugster	Type-based publish/subscribe: Concepts and experiences.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	Java, distribution, Abstraction, generics, reflection, publish/subscribe, type
14	Amir M. Ben-Amram, Chin Soon Lee	Program termination analysis in polynomial time.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	size-change graph, size-change termination, Abstraction, program analysis, termination analysis
14	Virginia Niculescu	Data-Distributions in PowerList Theory.	ICTAC	2007	DBLP DOI BibTeX RDF	design, parallel computation, data-structures, distribution, abstraction
14	Michele Bugliesi, Marco Giunti	Secure implementations of typed channel abstractions.	POPL	2007	DBLP DOI BibTeX RDF	language encodings, typed behavioral theories, full abstraction
14	Nuanwan Soonthornphisaj, Supakpong Jinaratana, Taweesak Tanwandee, Masayuki Numao	Knowledge Discovery for Hepatitis C Virus Diagnosis: A Framework for Mining Interesting Classification Rules.	ICIC (3)	2007	DBLP DOI BibTeX RDF	Interesting Classification rules, time-series, Data Abstraction
14	Simon Perathoner, Ernesto Wandeler, Lothar Thiele, Arne Hamann, Simon Schliecker, Rafik Henia, Razvan Racu, Rolf Ernst, Michael González Harbour	Influence of different system abstractions on the performance analysis of distributed real-time systems.	EMSOFT	2007	DBLP DOI BibTeX RDF	system abstraction, performance analysis, benchmarking
14	Barbara Leporini, Fabio Paternò, Antonio Scorcia	Easing Web Guidelines Specification.	ICWE	2007	DBLP DOI BibTeX RDF	abstraction language, usability, accessibility, Guidelines, editor
14	Sam Bakhtiar Sanjabi, C.-H. Luke Ong	Fully abstract semantics of additive aspects by translation.	AOSD	2007	DBLP DOI BibTeX RDF	aspect-oriented programming, translation, aspects, game semantics, full abstraction
14	Alessandro Armando, Massimo Benerecetti, Dario Carotenuto, Jacopo Mantovani, Pasquale Spica	The eureka tool for software model checking.	ASE	2007	DBLP DOI BibTeX RDF	model checking, linear programs, refinement, abstraction, arrays, arithmetic
14	David B. Kaber, Noa Segall, Rebecca S. Green, K. Entzian, S. Junginger	Using multiple cognitive task analysis methods for supervisory control interface design in high-throughput biological screening processes.	Cogn. Technol. Work.	2006	DBLP DOI BibTeX RDF	Goal-directed task analysis, Human-machine interface design, Cognitive task analysis, Abstraction hierarchy, High-throughput screening
14	Farn Wang, Geng-Dian Huang, Fang Yu 0001	TCTL Inevitability Analysis of Dense-Time Systems: From Theory to Engineering.	IEEE Trans. Software Eng.	2006	DBLP DOI BibTeX RDF	inevitability, non-Zeno, greatest fixpoint, real-time systems, model-checking, abstraction, TCTL
14	Shuvendu K. Lahiri, Shaz Qadeer	Verifying properties of well-founded linked lists.	POPL	2006	DBLP DOI BibTeX RDF	first-order axiomatization, heap abstraction, well-founded linked lists, decision procedure, automated theorem proving
14	Sergey Kolevatov, Matthias Wesseling, Axel Hunger	Generated Implementation of a WLAN Protocol Stack.	HPCC	2006	DBLP DOI BibTeX RDF	system level hardware abstraction, WLAN, Code generation, modeling language
14	Simon Bäumler, Michael Balser, Andriy Dunets, Wolfgang Reif, Jonathan Schmitt	Verification of Medical Guidelines by Model Checking - A Case Study.	SPIN	2006	DBLP DOI BibTeX RDF	Asbru, medical guidelines, Model checking, verification, formal methods, abstraction
14	Tara Matthews, Mary Czerwinski, George G. Robertson, Desney S. Tan	Clipping lists and change borders: improving multitasking efficiency with peripheral information design.	CHI	2006	DBLP DOI BibTeX RDF	information visualization, abstraction, multitasking, peripheral displays
14	Tara Matthews	Designing and evaluating glanceable peripheral displays.	Conference on Designing Interactive Systems	2006	DBLP DOI BibTeX RDF	glanceability, information visualization, abstraction, interface design, multitasking, peripheral displays
14	Marjan Sirjani	Rebeca: Theory, Applications, and Tools.	FMCO	2006	DBLP DOI BibTeX RDF	Rebeca, Distributed Systems, Model Checking, Concurrency, Abstraction, Actors, Compositional Verification
14	Andrew Gilpin, Tuomas Sandholm	Finding equilibria in large sequential games of imperfect information.	EC	2006	DBLP DOI BibTeX RDF	automated abstraction, computer poker, equilibrium finding, sequential games of imperfect information, game theory
14	Isabelle Gnaedig, Hélène Kirchner	Computing constructor forms with non terminating rewrite programs.	PPDP	2006	DBLP DOI BibTeX RDF	constructor, abstraction, termination, narrowing, ordering constraint, sufficient completeness
14	Bernhard Peischl, Safeeullah Soomro, Franz Wotawa	Towards Lightweight Fault Localization in Procedural Programs.	IEA/AIE	2006	DBLP DOI BibTeX RDF	model-based software debugging, software debugging, control software, procedural abstraction
14	Noa Segall, Rebecca S. Green, David B. Kaber	User, robot and automation evaluations in high-throughput biological screening processes.	HRI	2006	DBLP DOI BibTeX RDF	abstraction hierarchy modeling, goal-directed task analysis, human error, cognitive task analysis, high-throughput screening
14	Kuntal Nanshi, Fabio Somenzi	Guiding simulation with increasingly refined abstract traces.	DAC	2006	DBLP DOI BibTeX RDF	simulation, model checking, abstraction refinement
14	Christopher Scaffidi, Mary Shaw, Brad A. Myers	An approach for categorizing end user programmers to guide software engineering research.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF	abstraction, end user programming, end user software engineering
14	A. W. Roscoe 0001	On the expressive power of CSP refinement.	Formal Aspects Comput.	2005	DBLP DOI BibTeX RDF	Refinement, Topology, CSP, Full abstraction
14	Mangala Gowri Nanda, Christian Grothoff, Satish Chandra 0001	Deriving object typestates in the presence of inter-object references.	OOPSLA	2005	DBLP DOI BibTeX RDF	Java, predicate abstraction, alias analysis, interface specification, heap analysis
14	Rajeev Alur, Pavol Cerný, P. Madhusudan, Wonhong Nam	Synthesis of interface specifications for Java classes.	POPL	2005	DBLP DOI BibTeX RDF	behavioral interfaces, learning regular languages, model checking, games, abstraction, synthesis, software components
14	Denis Gopan, Thomas W. Reps, Shmuel Sagiv	A framework for numeric analysis of array operations.	POPL	2005	DBLP DOI BibTeX RDF	abstract numeric domains, array analysis, canonical abstraction, program analysis, summarization
14	Michel Raynal, Matthieu Roy	Allowing Atomic Objects to Coexist with Sequentially Consistent Objects.	PaCT	2005	DBLP DOI BibTeX RDF	Atomic Consistency, Combination of consistency criteria, Shared Memory Abstraction, Message Passing, NP-Completeness, Asynchronous System, Sequential Consistency, Linearizability
14	Kais Klai, Serge Haddad, Jean-Michel Ilié	Modular Verification of Petri Nets Properties: A Structure-Based Approach.	FORTE	2005	DBLP DOI BibTeX RDF	Petri nets, (de)composition, Abstraction, modular verification
14	Na Liu 0001, John C. Grundy, John G. Hosking	A visual language and environment for composing web services.	ASE	2005	DBLP DOI BibTeX RDF	tool based abstraction, web services, visual languages
14	Hardi Hungar, Bernhard Steffen	Behavior-based model construction.	Int. J. Softw. Tools Technol. Transf.	2004	DBLP DOI BibTeX RDF	Automata learning, Model checking, Testing, Abstraction
14	María-del-Mar Gallardo, Pedro Merino 0001, Ernesto Pimentel 0001	A generalized semantics of PROMELA for abstract model checking.	Formal Aspects Comput.	2004	DBLP DOI BibTeX RDF	Model checking, Abstraction, spin, Structured operational semantics, promela
14	Ragnar Bade, Stefan Schlechtweg, Silvia Miksch	Connecting time-oriented data and information to a coherent interactive visualization.	CHI	2004	DBLP DOI BibTeX RDF	medical application: intensive care units, temporal data modeling and abstraction, visualization, information visualization, user interface design, health care
14	Roberto Passerone, Jerry R. Burch, Alberto L. Sangiovanni-Vincentelli	Conservative approximations for heterogeneous design.	EMSOFT	2004	DBLP DOI BibTeX RDF	verification, approximation, refinement, abstraction, heterogeneous, polymorphism, model of computation
14	Anthony Santella, Douglas DeCarlo	Visual interest and NPR: an evaluation and manifesto.	NPAR	2004	DBLP DOI BibTeX RDF	evaluation, eye tracking, abstraction, visual perception
14	Ralf Schoknecht, Martin A. Riedmiller	Reinforcement learning on explicitly specified time scales.	Neural Comput. Appl.	2003	DBLP DOI BibTeX RDF	Learning on different time scales, Multi-step actions, Reinforcement learning, Options, Temporal abstraction, Semi-Markov decision processes
14	Ulrich Marder	Multimedia-Metacomputing - eine Perspektive für Peer-to-Peer-Architekturen.	Inform. Forsch. Entwickl.	2003	DBLP DOI BibTeX RDF	Multimedia components, Distributed computing, Data abstraction
14	Bernhard K. Aichernig	Mutation Testing in the Refinement Calculus.	Formal Aspects Comput.	2003	DBLP DOI BibTeX RDF	Formal specifications, Formal methods, Refinement, Abstraction, Test case generation, Mutation testing, Test coverage
14	Vlad Rusu	Compositional Verification of an ATM Protocol.	FME	2003	DBLP DOI BibTeX RDF	SSCOP protocol, abstraction, theorem proving, Compositionality, PVS
14	Farn Wang, Geng-Dian Hwang, Fang Yu 0001	TCTL Inevitability Analysis of Dense-Time Systems.	CIAA	2003	DBLP DOI BibTeX RDF	Branching temporal logics, inevitability, greatest fixpoint, real-time systems, model-checking, abstraction, TCTL
14	Mehrdad Reshadi, Prabhat Mishra 0001, Nikil D. Dutt	Instruction set compiled simulation: a technique for fast and flexible instruction set simulation.	DAC	2003	DBLP DOI BibTeX RDF	instruction abstraction, interpretive simulation, instruction set architectures, compiled simulation
14	Bart Kienhuis, Ed F. Deprettere, Pieter van der Wolf, Kees A. Vissers	A Methodology to Design Programmable Embedded Systems - The Y-Chart Approach.	Embedded Processor Design Challenges	2002	DBLP DOI BibTeX RDF	Y-chart approach, Architecture Template, Stack of Y-charts, Abstraction Pyramid, Embedded Systems, Design Space Exploration
14	Jörg Kienzle, Rachid Guerraoui	AOP: Does It Make Sense? The Case of Concurrency and Failures.	ECOOP	2002	DBLP DOI BibTeX RDF	concurrency, Aspect-oriented programming, abstraction, transactions, objects, failures, exceptions
14	Johan F. Hoorn	A model for information technologies that can be creative.	Creativity & Cognition	2002	DBLP DOI BibTeX RDF	representations design, human-computer interaction, adaptation, integration, graphical user interfaces, abstraction, similarity, selection, interactive systems, features, association, combination, creativity support tools
14	Ahmed Bouajjani, Agathe Merceron	Parametric Verification of a Group Membership Algorithm.	FTRTFT	2002	DBLP DOI BibTeX RDF	parametric counter automata, Formal verification, abstraction, fault-tolerant protocols
14	Guy McCusker	A Fully Abstract Relational Model of Syntactic Control of Interference.	CSL	2002	DBLP DOI BibTeX RDF	Algol-like languages, interference control, semantics, full abstraction, monoids, object spaces
14	Fabrice Bernardi, Jean François Santucci	Model design using hierarchical web-based libraries.	DAC	2002	DBLP DOI BibTeX RDF	models libraries, access, web-based, abstraction hierarchy, models reuse
14	Peter R. King, Jocelyne Nanard, Marc Nanard	Multimedia document engineering in MCF.	ACM Symposium on Document Engineering	2002	DBLP DOI BibTeX RDF	modularity encapsulation, design, multimedia, reuse, abstraction, scenario, role, engineering
14	Marsha Chechik, John D. Gannon	Automatic Analysis of Consistency between Requirements and Designs.	IEEE Trans. Software Eng.	2001	DBLP DOI BibTeX RDF	SCR requirements, finite-state abstraction, formal specification, static analysis, data-flow analysis
14	Klaus Havelund, Michael R. Lowry, John Penix	Formal Analysis of a Space-Craft Controller Using SPIN.	IEEE Trans. Software Eng.	2001	DBLP DOI BibTeX RDF	space-craft software, model checking, temporal logic, Program verification, concurrent programs, program abstraction, model extraction
14	Nathalie Furmento, Anthony Edward Mayer, A. Stephen McGough, Steven J. Newhouse, John Darlington	A Component Framework for HPC Applications.	Euro-Par	2001	DBLP DOI BibTeX RDF	Performance Optimisation, High Level Abstraction, Grid Computing, Component Composition
14	Jonathan Burton, Maciej Koutny, Giuseppe Pappalardo	Implementing Communicating Processes in the Event of Interface Difference.	ACSD	2001	DBLP DOI BibTeX RDF	behaviour abstraction, refinement, compositionality, communicating sequential processes, Theory of parallel and distributed computation
14	Natalia Sidorova, Martin Steffen	Verifying Large SDL-Specifications Using Model Checking.	SDL Forum	2001	DBLP DOI BibTeX RDF	SDL model checking, bottom-up verification, verification case study, compositional, abstraction
14	Lawrence D. Bergman, Vittorio Castelli, Chung-Sheng Li, John R. Smith	SPIRE: a digital library for scientific information.	Int. J. Digit. Libr.	2000	DBLP DOI BibTeX RDF	Acquisition of content, Abstraction pyramid, Object-based model, Digital library, Scientific data
14	Charles Lakos	Composing Abstractions of Coloured Petri Nets.	ICATPN	2000	DBLP DOI BibTeX RDF	Theory of High-Level Petri Nets, Refinement, Abstraction
14	Natalia Sidorova, Martin Steffen	Verification of a wireless ATM medium-access protocol.	APSEC	2000	DBLP DOI BibTeX RDF	medium-access protocol verification, modular structure, SDL specification, abstraction techniques, system debugging, untimed properties, time-dependent properties, model checking, formal specification, formal verification, wireless LAN, asynchronous transfer mode, access protocols, state space reduction, wireless ATM
14	Shuguang Li, Qing Jiang, Chris George	Combining case-based and model-based reasoning: a formal specification.	APSEC	2000	DBLP DOI BibTeX RDF	generalised design information, rule language, formal specification, formal specification, data structures, retrieval, selection, case-based reasoning, case-based reasoning, model-based reasoning, model-based reasoning, intelligent design assistants, abstraction mechanism
14	Patrick Th. Eugster, Rachid Guerraoui, Joe Sventek	Distributed Asynchronous Collections: Abstractions for Publish/Subscribe Interaction.	ECOOP	2000	DBLP DOI BibTeX RDF	publish/ subscribe, concurrency, distribution, Abstraction, collection, asynchrony
14	Monique Snoeck, Geert Poels	Analogical Reuse of Structural and Behavioral Aspects of Event-Based Object-Oriented Domain Models.	DEXA Workshops	2000	DBLP DOI BibTeX RDF	analogical reuse, structural aspects, behavioural aspects, event-based object-oriented domain models, generic domain model, domain abstraction, hotel administration, car rental company, object life-cycle specification reuse, formal specification, library, object allocation
14	D. Muthiayen, Vangalur S. Alagar, Ferhat Khendek, Azimeh Sefidcon	An approach to a synthesis of formal and visual description techniques for the development of real-time reactive systems.	RTCSA	2000	DBLP DOI BibTeX RDF	visual description techniques, real time reactive systems development, unified notation, user level modeling, implementation level, object oriented notation, Timed Reactive Object Model, TROM, semantic basis, mechanical translations, real-time systems, UML, object-oriented programming, program verification, specification languages, SDL, formal description techniques, program interpreters, abstraction levels, real time reactive systems, large scale applications, design analysis, object based systems
14	Luca Abeni, Giorgio C. Buttazzo	Support for dynamic QoS in the HARTIK kernel.	RTCSA	2000	DBLP DOI BibTeX RDF	dynamic QoS support, HARTIK, hard real-time kernel, control applications, soft real-time applications, service mechanism, temporal protection abstraction, service quality manager, reserved resource adaptation, task requirements, quality of service, real-time systems, stability, multimedia applications, multimedia computing, operating system kernels, computerised control, robot applications
14	Trent Hill, James Noble 0001, John Potter	Scalable Visualisations with Ownership Trees.	TOOLS (37)	2000	DBLP DOI BibTeX RDF	program visualisation, scalable visualisations, ownership trees, top-level components, implicit aggregation structure, scale-independent topology, low-level data structure, software visualisation tool, learning, object-oriented programming, object-oriented programs, software maintenance, debugging, computer science education, teaching, program debugging, tree data structures, abstraction levels, object graph, program maintenance
14	Lothar Baum, Martin Becker 0002	Generic Components to Foster Reuse.	TOOLS (37)	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
14	Rainer Weinreich, Josef Pichler	An Integrated Approach for Documenting, Exploring, and Building Framework-Based Software.	TOOLS (37)	2000	DBLP DOI BibTeX RDF	program visualisation, framework based software design, framework based applications, specialized desktop metaphor, framework based development, architecture templates, open tool architecture, application editing, framework parts, software architecture, software architectures, object-oriented programming, software reusability, software libraries, abstraction level, text editing, system documentation, object oriented software development, class libraries, integrated approach, dynamic program analysis, development time
14	Tokuyasu Kakuta, Makoto Haraguchi	A demonstration of a legal reasoning system based on teleological analogies.	ICAIL	1999	DBLP DOI BibTeX RDF	goal-dependent abstraction, legal reasoning system, order-sorted logic, analogy
14	François Goasdoué, Chantal Reynaud	Modeling Information Sources for Information Integration.	EKAW	1999	DBLP DOI BibTeX RDF	information sources modeling, identification of concepts, knowledge abstraction, support to knowledge representation, description logics, entity-relationship model
14	Tomohiro Yoneda, Yutaka Ohtsuka, Märt Saarepera	Verification of Parameterized Asynchronous Circuits: A Case Study.	ACSD	1998	DBLP DOI BibTeX RDF	parameterized asynchronous circuits, ACTL model checking, Formal verification, abstraction, PVS
14	A. Mabbmann, Stefan Posch, Gerhard Sagerer, Daniel Schlüter	Using Markov Random Fields for Contour-Based Grouping.	ICIP (2)	1997	DBLP DOI BibTeX RDF	contour-based grouping, contour-based segmentation, image primitives, image data regularities, Gestalt psychology, local evidence, hand labelled training set, abstraction, Markov random fields, Markov processes, hierarchy, real data
14	Naim Ben-Hamida, Khaled Saab 0001, David Marche, Bozena Kaminska	A perturbation based fault modeling and simulation for mixed-signal circuits.	Asian Test Symposium	1997	DBLP DOI BibTeX RDF	analog circuit fault simulation, perturbation fault model, fault abstraction, structural fault modeling, perturbation estimation, fault observation, hierarchical analog fault simulator, complexity, test generation, CMOS, mixed-signal circuits, mixed analogue-digital integrated circuits, functional fault modeling, physical defects
14	Amir A. Khwaja	Enhancing extensibility of the design rule checker of an EDA tool by object-oriented modeling.	COMPSAC	1997	DBLP DOI BibTeX RDF	design rule checker, design rule checking systems, electronic design automation tools, semiconductor technology, DRC systems, DRC module, IC package design tool, object oriented modeling technique, abstraction, inheritance, extensibility, object oriented modeling, encapsulation, circuit CAD, dynamic binding, EDA tool
14	Paul Lu	Aurora: Scoped Behavior for Per-Context Optimized Distributed Data Sharing.	IPPS	1997	DBLP DOI BibTeX RDF	scoped behaviour, per-context optimized distributed data sharing, standard C++-based Aurora, shared data abstraction, distributed memory hardware, data structures, source code, parallel performance, Aurora
14	John Penix, Perry Alexander, Klaus Havelund	Declarative Specification of Software Architectures.	ASE	1997	DBLP DOI BibTeX RDF	interconnected components, component variation, task coordination architecture, multi-threaded plan execution system, software architectures, formal specification, formal methods, abstraction, system requirements, declarative specification
14	Oliver Spatscheck, Larry L. Peterson	Escort: Securing Scout Paths.	S&P	1997	DBLP DOI BibTeX RDF	Escort, Scout path security, communication oriented operating system, explicit first class object, path abstraction, information flow, network operating systems, network operating system, security architecture, information appliances, explicit knowledge
14	Hermann Kopetz, Roman Nossal	Temporal firewalls in large distributed real-time systems.	FTDCS	1997	DBLP DOI BibTeX RDF	large distributed real-time systems, temporal firewalls, autonomous subsystems, stable control-free interfaces, encapsulated subsystem, static properties, controlled object, real-time systems, complexity, abstraction, error propagation, system partitioning
14	Roland N. Bol, Jan Friso Groote	The Meaning of Negative Premises in Transition System Specifications.	J. ACM	1996	DBLP DOI BibTeX RDF	ntyft/ntyxt-format, conservative extension of TSSs, negative premises, priorities and abstraction, logic programming, process algebra, bisimulation, congruence
14	Douglas DeCarlo, Dimitris N. Metaxas	Blended Deformable Models.	IEEE Trans. Pattern Anal. Mach. Intell.	1996	DBLP DOI BibTeX RDF	shape abstraction, physics-based modeling, Shape representation, shape estimation, shape blending
14	Maria Brielmann, Franz-Josef Rammig	Evaluating Hardware Design Principles for the Development of Computer Based Systems.	ECBS	1996	DBLP DOI BibTeX RDF	Petri nets, System Engineering, Development Process, Hardware Design, Abstraction Levels, Computer Based Systems
14	Regina M. Gonzales, Alexander L. Wolf	A facilitator method for upstream design activities with diverse stakeholders.	ICRE	1996	DBLP DOI BibTeX RDF	facilitator method, upstream design activities, diverse stakeholders, stakeholder based modeling, rapid feasibility feed back, interpersonal dynamics, independent agent, Integrated System Model, independent system views, high technology medical product, critical time to market pressures, marketing aspect, formal specification, systems analysis, requirements specification, abstraction level, medical computing, high level design, requirements definition, real world experience
14	Karin Erni, Claus Lewerentz	Applying design-metrics to object-oriented frameworks.	IEEE METRICS	1996	DBLP DOI BibTeX RDF	factor-criteria-metrics model, multi-metrics, structural measurements, measurement reports, framework reorganization reviews, stable system designs, object-oriented programming, software developers, software quality, software metrics, feedback, object-oriented methods, classes, object-oriented frameworks, quality model, design principles, incremental development, abstraction levels, design rules, subsystems, program evaluation, graphical applications, object-oriented design metrics
14	William E. Howden, Suehee Pak	The Derivation of Functional Specifications from Source Code.	APSEC	1996	DBLP DOI BibTeX RDF	data flow slicing, reverse engineering, abstraction, modularization, selection, CASE, design recovery, symbolic evaluation
14	Michael R. Blaha, William J. Premerlani	A Catalog of Object Model Transformations.	WCRE	1996	DBLP DOI BibTeX RDF	object model transformations, model optimization, code manipulation, reverse engineering, software development, application, object oriented model, object-oriented methods, model abstraction, OMT, model refinement
14	Gerald C. Gannod, Betty H. C. Cheng	Using Informal and Formal Techniques for the Reverse Engineering of C Programs.	WCRE	1996	DBLP DOI BibTeX RDF	informal techniques, higher level abstraction, programming methods, code correctness, ground-based command system, unmanned flight systems, spacecraft control, formal specifications, reverse engineering, reverse engineering, object-oriented programming, software maintenance, program understanding, legacy system, system re-engineering, formal techniques, C programs, program semantics
14	Sahng-Mann Han	Is OO Working as It Promised?	COMPSAC	1996	DBLP DOI BibTeX RDF	OO software development paradigm, operator polymorphism, reusable component libraries, software development time, business organisations, software engineering, data structures, object-oriented programming, software maintenance, software development, abstraction, requirements, inheritance, inheritance, reusability, object-oriented methods, encapsulation, business data processing, object-oriented paradigm, code size, data encapsulation, software applications
14	Steven Sommer, John Potter	Operating system extensions for dynamic real-time application.	RTSS	1996	DBLP DOI BibTeX RDF	dynamic real-time applications, real-time process abstraction, operating system extensions, admission policy, scheduling, real-time systems, resource allocation, requirements, system design, system monitoring, timing requirements, general purpose operating systems
14	Roberto Baldoni, Michel Raynal, Ravi Prakash 0001, Mukesh Singhal	Broadcast with Time and Causality Constraints for Multimedia Applications.	EUROMICRO	1996	DBLP DOI BibTeX RDF	causality constraints, /spl Delta/-causal ordering, multimedia real-time collaborative applications, groupware real-time applications, /spl Delta/-causal ordering protocol, transitive dependencies, application messages, groupware, multimedia applications, time constraints, communication abstraction
14	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
14	Dieter Gollmann	What do We Mean by Entity Authentication?	S&P	1996	DBLP DOI BibTeX RDF	authentication protocol design, message passing protocols, high-level objectives, protocol specification abstraction level, cryptographic function, formal specification, cryptography, protocols, message passing, encryption, communication protocols, message authentication, entity authentication
14	Mohlalefi Sefika, Aamod Sane, Roy H. Campbell	Monitoring Compliance of a Software System with Its High-Level Design Models.	ICSE	1996	DBLP BibTeX RDF	/spl mu/Choices, coding guidelines, complex software system evolution, concrete rules, design-implementation congruence, documented design models, high cohesion, high-level design models, hybrid computer-assisted approach, implementation divergence, logic-based static analysis, low coupling, multimedia operating system, multiple code view, software system compliance monitoring, subjective design principles, software engineering, design patterns, monitoring, conformance testing, operating systems (computers), multimedia computing, connectors, architectural models, abstraction levels, dynamic visualization
14	Mihai Barbuceanu, Mark S. Fox	Coordinating multiple agents in the supply chain.	WETICE	1996	DBLP DOI BibTeX RDF	multiple agent coordination, networked people, networked machines, shared goals, individual goals, structured conversation, multiagent programming language, coordination knowledge capture, coordination knowledge application, coordination knowledge representation, KQML-based communication, agent definition environment, agent execution environment, conversation selection, interoperation, abstraction, software agents, supply chain, cooperative work, computational systems, conceptualization, rule-based approaches, networked organizations
14	Václav Rajlich, Sridhar Reddy Adnapally	VIFOR 2: a tool for browsing and documentation.	ICSM	1996	DBLP DOI BibTeX RDF	legacy system maintenance, system understanding recording, VIFOR 2 tool, hypertext documentation, rapid code navigation, layered hypertext, incremental documentation recording, incremental documentation retrieval, software maintenance, abstraction, documentation, browsing
14	Twan Basten, Marc Voorhoeve	An Algebraic Semantics for Hierarchical P/T Nets.	Application and Theory of Petri Nets	1995	DBLP DOI BibTeX RDF	Place/Transition nets, hierarchical Petri nets, verification, abstraction, process algebra, top-down design
14	Yongguang Zhang, Son K. Dao	A "persistent connection" model for mobile and distributed systems.	ICCCN	1995	DBLP DOI BibTeX RDF	persistent connection model, stream connections, temporary disconnection, limited resource environment, logical endpoints, transient connection, TCP-socket level, DCE RPC level, reconfigurable applications, reliable applications, distributed systems, fault tolerance computing, prototypes, programs, software, Unix, mobile communication, mobile systems, network partitions, adaptable applications, disconnection, mobile computing environment, communication abstraction
14	Clifford W. Mercer, Ragunathan Rajkumar	An interactive interface and RT-Mach support for monitoring and controlling resource management.	IEEE Real Time Technology and Applications Symposium	1995	DBLP DOI BibTeX RDF	RT-Mach, Real-Time Mach, resource management monitoring, resource management control, timing characteristics, a priori resource allocation decisions, changing user needs, operating system resource reserves, resource reservation abstraction, processor capacity reserves, rmon, processor usage display, processor reservation, reservation change requests, policy decisions, real-time systems, user interfaces, resource allocation, timing, multimedia systems, dynamic systems, interactive systems, operating systems (computers), multimedia computing, system monitoring, quality of service manager, interactive interface
14	Paolo Bottoni, Marzia Mariotto, Piero Mussio, Gabriele E. M. Biella	The Design of Anthropocentric Cooperative Visual Environments.	VL	1995	DBLP DOI BibTeX RDF	Anthropocentric Cooperative Visual Environments, user capabilities, user-system communication, shape abstraction, ACVE design, graphical user interfaces, human factors, visual programming, visual programming, visual languages, visual languages, system performance
14	Da-Qian Zhang, Kang Zhang 0001	A Visual Programming Environment for Distributed Systems.	VL	1995	DBLP DOI BibTeX RDF	embedded programming platforms, PEDS, high-level specification tool, 2D visual forms, multiple abstraction levels, distributed systems, formal specification, parallel programming, distributed processing, software tools, programming environments, visual programming, direct manipulation, parallel systems, software packages, software packages, visual programming environment, hierarchical design, heterogeneous processors