Search results for "methodology"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
26	Francine Bacchini, Gabe Moretti, Harry Foster, Janick Bergeron, Masayuki Nakamura, Shrenik Mehta, Laurent Ducousso	Is methodology the highway out of verification hell?	DAC	2005	DBLP DOI BibTeX RDF	verification, formal verification, methodology, assertions
26	Min-Hsuan Fan, Chua-Huang Huang, Yeh-Ching Chung	A Programming Methodology for Designing Block Recursive Algorithms on Various Computer Networks.	ICPP Workshops	2002	DBLP DOI BibTeX RDF	block recursive algorithm, baseline network, parallel processing, hypercube network, omega network, tensor product, programming methodology, parallel prefix
26	Alistair Cockburn	Selecting a Project 's Methodology.	IEEE Softw.	2000	DBLP DOI BibTeX RDF	project experiences, methodology, cultures, methods, software development process, people, software engineering practices
25	Javier Argüelles, María José López, J. Blanco, Mar Martínez, Salvador Bracho	Iddt testing of continuous-time filters.	VTS	1995	DBLP DOI BibTeX RDF	continuous time filters, continuous-time filters, design-for-test methodology, dynamic supply current consumption, dynamic current, partitioning methodology, test reliability, built-in self test, integrated circuit testing, design for testability, automatic testing, CMOS, automatic test equipment, built-in current sensor, CMOS analogue integrated circuits
25	Robert M. McGraw, Moshe Meyassed, Robert H. Klenke, James H. Aylor, Ronald D. Williams	Refinement of system-level designs using hybrid modeling.	ICECCS	1995	DBLP DOI BibTeX RDF	system-level design refinement, complex system design, unified modeling methodology, top-down/bottom-up design methodology, modeling environment, behavioral components, high risk portions, simulation, simulation, modelling, systems analysis, product development, hybrid modeling, multi-level modeling
25	M. José Escalona, Jesús Torres 0001, Manuel Mejías	Requirements Capture Workflow in Global Information Systems.	OOIS	2002	DBLP DOI BibTeX RDF	Global Information System, global interface, navigation, requirements, development methodology
24	Marzieh Ispareh, Behrouz Tork Ladani, Shirin Shariat Panahi, Zahra Nasr Azadani	Toward a software development methodology for anonymity applications.	EDBT/ICDT Workshops	2010	DBLP DOI BibTeX RDF	anonymity application, anonymity, software development methodology
24	Martin Ota, Ivan Jelínek	IMSF: Infinite Methodology Set Framework.	CDVE	2009	DBLP DOI BibTeX RDF	IMSF, software engineering, framework, methodology, process
24	Yong Ki Lee, Herwin Chan, Ingrid Verbauwhede	Design Methodology for Throughput Optimum Architectures of Hash Algorithms of the MD4-class.	J. Signal Process. Syst.	2008	DBLP DOI BibTeX RDF	Architecture design methodology, MD4-based hash algorithm, SHA1, RIPEMD-160, Iteration bound analysis, DFG (Data Flow Graph) transformation, Throughput optimization, MD5
24	Imed Lassoued, Jean-Marie Bonnin, Zied Ben Hamouda, Abdelfattah Belghith	A Methodology for Evaluating Vertical Handoff Decision Mechanisms.	ICN	2008	DBLP DOI BibTeX RDF	Vertical Handoff Mechanism, Mobility Modeling, Evaluation Methodology
24	Elisângela Vilar, Ernesto Filgueiras, Francisco Rebelo	Methodology to Apply a Usability Testing by Non Specialized People: Evaluation of the European Platform "e-Exhibitions".	HCI (17)	2007	DBLP DOI BibTeX RDF	Usability tools, Protocol, Methodology, Usability Testing
24	Jianfeng Zhan, Lei Wang 0004, Bibo Tu, Hui Wang, Zhihong Zhang, Yi Jin, Yu Wen, Yuansheng Chen, Peng Wang, Bizhu Qiu, Dan Meng, Ninghui Sun	The design methodology of Phoenix cluster system software stack.	China HPC	2007	DBLP DOI BibTeX RDF	cluster system software stack, design methodology, practice, evaluation criteria
24	Jiang Xu 0001, Wayne H. Wolf, Jörg Henkel, Srimat T. Chakradhar	A design methodology for application-specific networks-on-chip.	ACM Trans. Embed. Comput. Syst.	2006	DBLP DOI BibTeX RDF	regular topology, architecture, methodology, networks-on-chip, Application-specific
24	Kwanghoon Pio Kim, Jae-Kang Won, Chang-Min Kim	A Fragment-Driven Process Modeling Methodology.	ICCSA (3)	2005	DBLP DOI BibTeX RDF	Fragment-driven Process Modeling Methodology, Cooperative Modeling Approach, Information Control Net, Global Process Model
24	Avinash K. Gautam, Jagdish C. Rao, Karthikeyan Madathil, Vilesh Shah, H. Udayakumar, Amitabh Menon, Subash Chandar G.	A Design Methodology for a Fully Synthesized High Speed DSP Core in a Deep Sub-Micron Technology.	ICCD	1999	DBLP DOI BibTeX RDF	Links to layout, Synthesis, DSP, Design Methodology, Physical Design, Deep sub-micron
24	Shaoying Liu, A. Jefferson Offutt, Chris Ho-Stuart, Yong Sun, Mitsuru Ohba	SOFL: A Formal Engineering Methodology for Industrial Applications.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	formal methods, formal languages, data flow diagrams, object-oriented methodology, Structured methods
24	Hon Wai Chun	A methodology for object-oriented constraint programming.	APSEC	1997	DBLP DOI BibTeX RDF	object-oriented constraint programming methodology, orthogonal programming paradigms, complementary programming paradigms, logic constraint programming, constrained variables, nurse rostering system, object-oriented programming, object-oriented programming, object-oriented design, object-oriented analysis, constraint-based model
24	Gérard Le Lann	A Methodology for Designing and Dimensioning Critical Complex Computing Systems.	ECBS	1996	DBLP DOI BibTeX RDF	design proofs, fault-tolerance, distributed computing, design methodology, complex systems, systems engineering, on-line algorithms, critical systems, real-time computing
24	Frank Ng, Gregory Butler, Judy Kay	An Intelligent Tutoring System for the Dijkstra-Gries Methodology.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	Dijkstra-Gries, symbolic algebra, user modeling, inheritance, intelligent tutoring systems, unification, object-oriented systems, programming methodology, teaching programming, re-use
24	Sumit Mohanty, Seonil Choi, Ju-wook Jang, Viktor K. Prasanna	A Model-Based Methodology for Application Specific Energy Efficient Data Path Design Using FPGAs.	ASAP	2002	DBLP DOI BibTeX RDF	reconfigurable computing, embedded system design, energy optimization
22	Kristinn R. Thórisson, Rögnvaldur J. Saemundsson, Gudny Ragna Jonsdottir, Brynjar Reynisson, Claudio Pedica, Palli Runar Thrainsson, Pálmi Skowronski	Applying Constructionist Design Methodology to Agent-Based Simulation Systems.	KES-AMSTA	2009	DBLP DOI BibTeX RDF	Design Methodology, Agent-based systems
22	Roberto Gómez 0001, Alejandro Girón, Víctor H. Champac	A Test Generation Methodology for Interconnection Opens Considering Signals at the Coupled Lines.	J. Electron. Test.	2008	DBLP DOI BibTeX RDF	Interconnection opens, Boolean testing, Favorable logic conditions, Test generation methodology, Coupling capacitances
22	Maik Wurdel, Daniel Sinnig, Peter Forbrig	Task-Based Development Methodology for Collaborative Environments.	TAMODIA/HCSE	2008	DBLP DOI BibTeX RDF	Collaborative Task Models, Refinement, Tool Support, Development Methodology
22	Teemu Leinonen, Tarmo Toikkanen, Katrina Silfvast	Software as hypothesis: research-based design methodology.	PDC	2008	DBLP BibTeX RDF	learning, education, software, design methodology, method, human-centered
22	Chia-han Lee, Wayne H. Wolf	Design Methodology for Software Radio Systems.	SAMOS	2007	DBLP DOI BibTeX RDF	baseband, methodology, convex optimization, ADC, RF, front-ends, Software radio
22	David A. Dryer, Thomas Bock, Maria Broschi, Timothy D. Beach	DoDAF limitations and enhancements for the Capability Test Methodology.	SpringSim (3)	2007	DBLP BibTeX RDF	JTEM, capability evaluation metamodel, capability test methodology, test and evaluation, DoDAF
22	Youngseok Kim, Hong-Bae Jun, Dimitris Kiritsis, Paul C. Xirouchakis	A Methodology for Modeling a Quality Embedded Remanufacturing System.	APMS	2007	DBLP DOI BibTeX RDF	Remanufacturing, Agent, Petri-Nets, Quality, Modeling methodology
22	Ming Zhou, Jianwen Ren, Jianxun Qi, Dongxiao Niu, Gengyin Li	CommonKADS Methodology for Developing Power Grid Switching Orders Systems.	PAKDD Workshops	2007	DBLP DOI BibTeX RDF	Power grid switching operation, expertise knowledge modeling, CommonKADS methodology, automatic formation, task template, ontology
22	Brian Marick	Methodology work is ontology work.	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	ontology, software development, methodology, perception, cows
22	Benton H. Calhoun, Frank Honoré, Anantha P. Chandrakasan	Design methodology for fine-grained leakage control in MTCMOS.	ISLPED	2003	DBLP DOI BibTeX RDF	fine-grain sleep regions, sneak leakage, low power, design methodology, leakage, circuit design, sleep mode, MTCMOS
22	Ling Feng, Elizabeth Chang 0001, Tharam S. Dillon	A semantic network-based design methodology for XML documents.	ACM Trans. Inf. Syst.	2002	DBLP DOI BibTeX RDF	XML, XML, conceptual modeling, design methodology, XML Schema, semantic network
22	Randall S. Janka, Linda M. Wills	A novel codesign methodology for real-time embedded COTS multiprocessor-based signal processing systems.	CODES	2000	DBLP DOI BibTeX RDF	MPI/RT, VSIPL, specification and design methodology, middleware, MPI, embedded, COTS, multiprocessing, MAGIC
22	Cléver Ricardo Guareis de Farias, Luís Ferreira Pires, Marten van Sinderen	A Component-Based Groupware Development Methodology.	EDOC	2000	DBLP DOI BibTeX RDF	component-based groupware development methodology, software artefacts, chat application, interoperability, software components, reusability, open systems, software development process
22	Thorsten Adler, Hiltrud Brocke, Lars Hedrich, Erich Barke	A current driven routing and verification methodology for analog applications.	DAC	2000	DBLP DOI BibTeX RDF	multiterminal signal nets, routing, verification, design methodology, Steiner tree, electromigration, current density
22	Robert A. Basta, William H. Greene	A system engineering methodology for predicting scalability of very large real-time databases.	ICECCS	1995	DBLP DOI BibTeX RDF	system engineering methodology, scalable system design, scalability prediction, very large real-time databases, real-time access, accurate performance analysis, implementation alternative evaluation, physical benchmark configuration, subset functionality, database configuration, upscale model, simulation, model, real-time systems, query processing, systems analysis, iterative methods, reconfigurable architectures, systems engineering, software performance evaluation, simulation results, very large databases, iterative process, performance data
22	Gregg Skip Bailey	Iterative methodology and designer training in human-computer interface design.	INTERCHI	1993	DBLP DOI BibTeX RDF	iterative design methodology, user interface specialists, programmers
22	Daniel Hoffman, Richard T. Snodgrass	Trace Specifications: Methodology and Models.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	trace specification language, trace specification methodology, specification consistency, executable prototypes, formal specification, formal specification, specification languages
22	Keki B. Irani, Suk I. Yoo	A Methodology for Solving Problems: Problem Modeling and Heuristic Generation.	IEEE Trans. Pattern Anal. Mach. Intell.	1988	DBLP DOI BibTeX RDF	problem modeling, heuristic generation, robot planning problem, labeling problem, methodology, problem solving, problem solving, traveling salesman problem
21	Maosen Cao, Pizhong Qiao, Qingwen Ren	Improved hybrid wavelet neural network methodology for time-varying behavior prediction of engineering structures.	Neural Comput. Appl.	2009	DBLP DOI BibTeX RDF	Prediction of time-varying behavior, Neuro-wavelet modeling, Structural safety, Neural networks, Wavelet, Deformation, Optimization models, Subsystems, Nonlinear analysis
21	Yun Chen, Maria Kutar, Andy Hamilton	Modelling and Matching: A Methodology for ePlanning System Development to Address the Requirements of Multiple User Groups.	HCI (15)	2007	DBLP DOI BibTeX RDF	ePlanning Systems, Information System Development Methodo-logies (ISDMs), Multiple User Groups, Modelling and Matching (M&M)
21	Mikio Aoyama	Persona-Scenario-Goal Methodology for User-Centered Requirements Engineering.	RE	2007	DBLP DOI BibTeX RDF
21	Eli Kolberg, Yoram Reich, Ilya Levin	Design of Design Methodology for Autonomous Robots.	RoboCup	2007	DBLP DOI BibTeX RDF
21	Brian Holland, Karthik Nagarajan, Alan D. George	RAT: RC Amenability Test for Rapid Performance Prediction.	ACM Trans. Reconfigurable Technol. Syst.	2009	DBLP DOI BibTeX RDF	formulation methodology, strategic design methodology, FPGA, reconfigurable computing, performance prediction
21	Rangarirai Matavire, Irwin Brown	Investigating the use of "Grounded Theory" in information systems research.	SAICSIT	2008	DBLP DOI BibTeX RDF	grounded theory methodology, research methodology
21	Galal Hassan Galal, Ray J. Paul	A Qualitative Scenario Approach to Managing Evolving Requirements.	Requir. Eng.	1999	DBLP DOI BibTeX RDF	Grounded systems engineering methodology, GSEM, Information systems requirements, Qualitative methodology, Qualitative scenarios, Requirements engineering, Grounded theory, Fixed-point theorem
21	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
20	Chunsheng Yang, Benoit Farley, Robert Orchard	Automated case creation and management for diagnostic CBR systems.	Appl. Intell.	2008	DBLP DOI BibTeX RDF	Case bases, Automated case creation, Natural language processing, Methodology, Case-based reasoning
20	Wookjin Lee, Sanghyun Park, Keeyoull Lee, Chunwoo Lee, Byungjeong Lee, Woosung Jung, Taeksu Kim, Heechern Kim, Chisu Wu	Agile Development of Web Application by Supporting Process Execution and Extended UML Model.	APSEC	2005	DBLP DOI BibTeX RDF	extended UML model, Web Application, Agile Methodology, Process Execution
20	Vassilios Gerousis	Physical design implementation for 3D IC: methodology and tools.	ISPD	2010	DBLP DOI BibTeX RDF	3D IC stack, micro-bump, physical design tools, silicon interposer, methodology, tsv
20	Thomas Brandstetter, Konstantin Knorr, Ute Rosenbaum	A Structured Security Assessment Methodology for Manufacturers of Critical Infrastructure Components.	SEC	2009	DBLP DOI BibTeX RDF	Security Assessment Methodology, NERC CIP, Security Assessment Plan, Risk Analysis, Critical Infrastructure, Cyber Security
20	Hanlie Smuts, Alta van der Merwe, Marianne Loock, Paula Kotzé	A framework and methodology for knowledge management system implementation.	SAICSIT	2009	DBLP DOI BibTeX RDF	knowledge management system implementation, knowledge management system implementation methodology, knowledge management system implementation process
20	Elham Sahebkar Khorasani, Shahram Rahimi 0001, Bidyut Gupta	A Reasoning Methodology for CW-Based Question Answering Systems.	WILF	2009	DBLP DOI BibTeX RDF	Reasoning methodology, Generalized Constraint, Question Answering, Computing with Words
20	Stéphanie Combettes	Towards a Methodology for Modeling Deontic Protocols Using the Organizational Petri Nets Formalism.	KES-AMSTA	2009	DBLP DOI BibTeX RDF	Deontic protocol, Organizational Petri Net, Methodology
20	Shuming Chen, Xiangyuan Liu	A Low-Latency and Low-Power Hybrid Insertion Methodology for Global Interconnects in VDSM Designs.	NOCS	2007	DBLP DOI BibTeX RDF	differential-signaling, insertion methodology, on-chip interconnects, low-swing
20	S. Berkhauer-Smith, R. Bhatti	An Integrated Methodology of Manufacturing Business Improvement Strategies.	APMS	2007	DBLP DOI BibTeX RDF	Improving Operations, Integrated Strategy Application, Improvement Strategy Methodology, Manufacturing Operations, Process Improvement
20	David E. Avison, Jan Pries-Heje	Flexible Information Systems Development: Designing an Appropriate Methodology for Different Situations.	ICEIS (Selected Papers)	2007	DBLP DOI BibTeX RDF	radar diagram, methodology, action research, information systems development, design science
20	Sharifah Lailee Syed-Abdullah, Mike Holcombe, Marian Gheorghe 0001	The Impact of an Agile Methodology on the Well Being of Development Teams.	Empir. Softw. Eng.	2006	DBLP DOI BibTeX RDF	Work related well being, SE teams, Enthusiasm, Extreme programming, Contentment, Agile methodology, Depression, Anxiety
20	Fernando da Rocha Paixão Cortes, Eric E. Fabris, Sergio Bampi	A band-pass Gm-C Filter design based on gm/ID methodology and characterization.	SBCCI	2006	DBLP DOI BibTeX RDF	continuous-time band-pass filter, transconductor amplifier, design methodology, analog circuits
20	Quynh-Nhu Numi Tran, Ghassan Beydoun, Graham Low, Cesar Gonzalez-Perez	Preliminary Validation of MOBMAS (Ontology-Centric Agent Oriented Methodology): Design of a Peer-to-Peer Information Sharing MAS.	AOIS	2006	DBLP DOI BibTeX RDF	Multi-agent system, validation, methodology
20	Thinh M. Le, Xiaohua Tian, B. L. Ho, J. Nankoo, Yong Lian 0001	System-on-Chip Design Methodology for a Statistical Coder.	IEEE International Workshop on Rapid System Prototyping	2006	DBLP DOI BibTeX RDF	statistical coder, SoC, design methodology, CABAC
20	Jörg Zettel	Methodology Support in CASE Tools and Its Impact on Individual Acceptance and Use: A Controlled Experiment.	Empir. Softw. Eng.	2005	DBLP DOI BibTeX RDF	methodology support, consistency assurance, process modelling, Computer-aided software engineering, technology acceptance
20	Olav Lysne, Timothy Mark Pinkston, José Duato	Part II: A Methodology for Developing Deadlock-Free Dynamic Network Reconfiguration Processes.	IEEE Trans. Parallel Distributed Syst.	2005	DBLP DOI BibTeX RDF	deadlock-freedom methodology, system reliability and availability, Interconnection network, dynamic reconfiguration
20	Sharifah Lailee Syed-Abdullah, John Karn, Mike Holcombe, Anthony J. Cowling, Marian Gheorghe 0001	The Positive Affect of the XP Methodology.	XP	2005	DBLP DOI BibTeX RDF	positive affect, humanistic factor, Agile methodology, empirical evidence
20	YoungJoon Byun, Beverly A. Sanders	A pattern-based development methodology for communication protocols.	SAC	2005	DBLP DOI BibTeX RDF	design pattern, communication protocols, pattern language, development methodology, SPIN model checker
20	Stephen C. Wingreen, J. Ellis Blanton, Sandra K. Newton, Madeline Ann Domino	Assessing the IT training and development climate: an application of the Q-methodology.	CPR	2005	DBLP DOI BibTeX RDF	q-methodology, q-sort, training assessment, decision support, professional development, IT professionals
20	Jean-Samuel Chenard, Chun Yiu Chu, Zeljko Zilic, Milica Popovic	Design methodology for wireless nodes with printed antennas.	DAC	2005	DBLP DOI BibTeX RDF	RF CAD, antenna design methodology, printed antenna, printed circuit board
20	Marco Comerio, Flavio De Paoli, Simone Grega, Carlo Batini, Cesare Di Francesco, Adriano Di Pasquale	A service re-design methodology for multi-channel adaptation.	ICSOC	2004	DBLP DOI BibTeX RDF	multi-channel application, service re-design, qualities of services, methodology, location awareness, context of use
20	Wingyan Chung, Luis G. Chaboya, Christopher D. O'Toole, Homa Atabakhsh	An evaluation methodology for coordinated event visualization in digital libraries.	JCDL	2004	DBLP DOI BibTeX RDF	crime analysis, event visualization, spatio-temporal visualizer, evaluation methodology, law enforcement, intelligence analysis
20	Sangkyun Kim, Choon Seong Leem	An Information Engineering Methodology for the Security Strategy Planning.	ICCSA (1)	2004	DBLP DOI BibTeX RDF	security methodology, strategy planning, information systems
20	Stéphane Lo Presti, Michael J. Butler, Michael Leuschel, Chris Booth	A Trust Analysis Methodology for Pervasive Computing Systems.	Trusting Agents for Trusting Electronic Societies	2004	DBLP DOI BibTeX RDF	Trust Analysis Methodology, Pervasive Scenario, Trust Analysis Grid, Pervasive Computing
20	Nathalie Julien, S. Gailhard, Eric Martin 0001	Low Power Synthesis Methodology with Data Format Optimization Applied on a DWT.	J. VLSI Signal Process.	2003	DBLP DOI BibTeX RDF	dedicated architecture, data format, real time system, low power, high level synthesis, design methodology, discrete wavelet transform, power optimization
20	Haibin Zhu, MengChu Zhou	Methodology first and language second: a way to teach object-oriented programming.	OOPSLA Companion	2003	DBLP DOI BibTeX RDF	teaching methodology, object-oriented programming, C++
20	Kaijian Shi, Graig Godwin	Hybrid hierarchical timing closure methodology for a high performance and low power DSP.	DAC	2003	DBLP DOI BibTeX RDF	chip integration, methodology, DSP, timing closure, placement optimization
20	Joseph W. Weiss, Aman Datta	An Enterprise Internet Content Implementation Methodology and Case Study.	HICSS	2002	DBLP DOI BibTeX RDF	Enterprise implementation, Program management methodology, Internet project management, Innovation and change, E-business projects
20	Philippe Massonet, Yves Deville, Cédric Nève	From AOSE methodology to agent implementation.	AAMAS	2002	DBLP DOI BibTeX RDF	UML, methodology, experimentation, JADE, agent-based software engineering, FIPA
20	Thomas Juan, Adrian R. Pearce, Leon Sterling	ROADMAP: extending the gaia methodology for complex open systems.	AAMAS	2002	DBLP DOI BibTeX RDF	agent organization, multi-agent system, methodology, open system, agent oriented software engineering, knowledge model
20	Marlene Wan, Hui Zhang 0008, George Varghese, Martin Benes 0002, Arthur Abnous, Vandana Prabhu, Jan M. Rabaey	Design Methodology of a Low-Energy Reconfigurable Single-Chip DSP System.	J. VLSI Signal Process.	2001	DBLP DOI BibTeX RDF	low-power, design methodology, reconfigurable architecture, digital signal processor
20	Dionisis X. Adamopoulos, George Pavlou, Constantine A. Papandreou	A UML Based Methodology for the Creation of TINA Compatible Telecommunications Services.	ISCC	2000	DBLP DOI BibTeX RDF	service creation methodology, new telecommunications services, TINA-C, UML, service engineering
20	Ádrian B. Drago, Anilton Salles Garcia, Maxwell E. Monteiro	A Methodology for Performance Management of Networks.	LCN	2000	DBLP DOI BibTeX RDF	telecommunication network planning, proactive performance management methodology, large-scale enterprise network, performance analysis, discrete event simulation, discrete events simulation, network performance, capacity planning, computer network management, performance management, business communication
20	Stephen D. Posluszny, Naoaki Aoki, David Boerstler, Paula K. Coulman, Sang H. Dhong, Brian K. Flachs, H. Peter Hofstee, Nobuo Kojima, Ohsang Kwon, Kyung T. Lee, David Meltzer, Kevin J. Nowka, J. Park, J. Peter, Joel Silberman, Osamu Takahashi, Paul Villarrubia	"Timing closure by design, " a high frequency microprocessor design methodology.	DAC	2000	DBLP DOI BibTeX RDF	chip integration, dynamic circuits0, CAD, methodology, microprocessor, timing analysis, PLA, timing closure
20	Soo-Hyun Park, Sang-Hoon Park, Doo-Kwon Baik	Farming Methodology for TMN Platform Independent Class Repository Design.	COMPSAC	1997	DBLP DOI BibTeX RDF	Telecommunication Management Netwirk (TMN), Farming Methodology, Platform Independent Class Repository (PICR)
20	Vladimir Castro Alves, A. Ribeiro Antunes, Meryem Marzouki	A Pragmatic, Systematic And Flexible Synthesis For Testability Methodology.	Asian Test Symposium	1996	DBLP DOI BibTeX RDF	high-level synthesis for testability, systematic flexible synthesis, testability methodology, industrial tools, pragmatic synthesis, AMICAL synthesis, programmable test pattern generation, BUS-based circuit, embedded test paths, high level synthesis, design for testability, BIST, automatic generation, data path, scan path
20	Lech Józwiak, Sien-An Ong	Quality-Driven Decision Making Methodology for System-Level Design.	EUROMICRO	1996	DBLP DOI BibTeX RDF	decision making methodology, application oriented embedded systems, quality-driven decision making, real-time systems, design space exploration, system-level design, decision models
20	Nikolaos G. Bourbakis, Mohammad Mortazavi	An efficient building block layout methodology for compact placement.	Great Lakes Symposium on VLSI	1995	DBLP DOI BibTeX RDF	building block layout methodology, compact placement, synthesis placement, GEOMETRIA, geometric reshapings, VLSI regulation, functional performance, connection lines, occupied chip area, neighboring relations, dead space, open holes, channels merging process, legal overlapping, VLSI, formal languages, formal language, network routing, circuit layout CAD, compaction, global routing, integrated circuit layout, integrated circuit interconnections, local routing
20	B. Ravi Kishore, Rubin A. Parekhji, Sandeep Pagey, Sunil D. Sherlekar, G. Venkatesh 0001	A new methodology for the design of low-cost fail safe circuits and networks.	VLSI Design	1995	DBLP DOI BibTeX RDF	low-cost fail safe circuits, safety critical electronic systems, input-output encoding problems, output encoding technique, low-cost design, systematic framework, graph theory, design methodology, encoding, combinational circuits, combinational circuits, graph embedding, graceful degradation, logic partitioning
20	Markus Voss, Gerhard Schweizer	A Development Methodology for Systems Engineering of Computer-Based Systems and its Environmental Support.	CAST	1994	DBLP DOI BibTeX RDF	Engineering of Computer-Based Systems, Engineering Process, Engineering Environment, Design Theory, System Theory, Modeling Theory, Development Methodology
20	Giuseppe Iazeolla, Francesco Marinuzzi	LISPACK-A Methodology and Tool for the Performance Analysis of Parallel Systems and Algorithms.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	LISPACK, list-manipulation parallel-modeling package, string manipulation, recursive elimination, large Markovian process, symbolic-approach methodology, performance evaluation, parallel algorithms, parallel algorithms, performance analysis, parallel processing, software tool, software tools, Markov processes, parallel systems, lumping
20	Farhad S. Etessami, Gurdeep S. Hura 0001	Rule-Based Design Methodology for Solving Control Problems.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	control problems, rule-based design methodology, abstract Petri nets, formalism tool, high-level interaction, elevator system, formal specification, Petri nets, specification, software tools, validation, knowledge engineering, dynamic behaviour
20	Jean Arlat, Martine Aguera, Louis Amat, Yves Crouzet, Jean-Charles Fabre, Jean-Claude Laprie, Eliane Martins, David Powell	Fault Injection for Dependability Validation: A Methodology and Some Applications.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	dependability validation, fault-tolerance mechanisms, hardware/software prototype, validation-directed design process, general pin-level fault injection tool, MESSALINE, centralized computerized interlocking system, railway control applications, dependable communication system, ESPRIT Delta-4 Project, distributed system, fault tolerant computing, distributed processing, software tools, program verification, computer communications software, railways, fault-tolerant computing systems, validation methodology
20	Süleyman Sevinc, Bernard P. Zeigler	Entity Structure Based Design Methodology: A LAN Protocol Example.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	entity structure based design methodology, LAN protocol, frame-like knowledgerepresentation scheme, data-link-layer protocol, protocols, local area networks, packet switching, simulation environment
20	Robert Law	Using student blogs for documentation in software development projects.	ITiCSE	2011	DBLP DOI BibTeX RDF
19	Sumit Ahuja, Deepak Mathaikutty, Gaurav Singh 0006, Joe Stetzer, Sandeep K. Shukla, Ajit Dingankar	Power estimation methodology for a high-level synthesis framework.	ISQED	2009	DBLP DOI BibTeX RDF
19	J. Nierwinski	Reliability Sampling Methodology Using Simulation and Re-Sampling.	IEEE Trans. Reliab.	2007	DBLP DOI BibTeX RDF
19	Jung H. Kim, Tag G. Kim, JinLip. Jeong	Embedding DEVS methodology in CBD process for development of war game simulators.	SCSC	2007	DBLP BibTeX RDF	war game, UML, object-oriented, CBD, DEVS
19	Wei Huang 0018, Elia El-Darzi, Li Jin	Extending the Gaia Methodology for the Design and Development of Agent-based Software Systems.	COMPSAC (2)	2007	DBLP DOI BibTeX RDF
19	Fei Sun, Srivaths Ravi 0001, Anand Raghunathan, Niraj K. Jha	A Scalable Synthesis Methodology for Application-Specific Processors.	IEEE Trans. Very Large Scale Integr. Syst.	2006	DBLP DOI BibTeX RDF
19	Adriana Giret	A multi agent methodology for holonic manufacturing systems.	AAMAS	2005	DBLP DOI BibTeX RDF	multiagent systems, holonic manufacturing systems
19	Shiva Vafadar, Ahmad Abdollahzadeh Barforoush, Mohammad Reza Ayatollahzadeh Shirazi	Towards a More Expressive and Refinable Multiagent System Engineering Methodology.	AOIS	2003	DBLP DOI BibTeX RDF
19	Anna Perini, Angelo Susi, Fausto Giunchiglia	Coordination specification in multi-agent systems: from requirements to architecture with the Tropos methodology.	SEKE	2002	DBLP DOI BibTeX RDF
19	Gregg Rothermel, Margaret M. Burnett, Lixin Li, Christopher DuPuis, Andrei Sheretov	A methodology for testing spreadsheets.	ACM Trans. Softw. Eng. Methodol.	2001	DBLP DOI BibTeX RDF	software testing, spreadsheets