Search results for "requirements/specification"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
10	Shaoying Liu, Masashi Asuka, Kiyotoshi Komaya, Yasuaki Nakamura	An Approach to Specifying and Verifying Safety-Critical Systems with Practical Formal Method SOFL.	ICECCS	1998	DBLP DOI BibTeX RDF	railway crossing controller, verification, formal specification, formal methods, Safety-critical systems, functional requirements, safety requirements
10	David A. Fura, Phillip J. Windley, Arun K. Somani	Abstraction Techniques for Modeling Real-World Interface Chips.	HUG	1993	DBLP DOI BibTeX RDF
9	Wayne Robbins	Achieving DoDAF-driven simulations through executable architectures.	SpringSim	2009	DBLP BibTeX RDF	executable architecture (EA), model-based system engineering (MBSE), model-driven architecture (MDA), architecture framework, DoDAF
9	Michael Feary	Automatic Detection of Interaction Vulnerabilities in an Executable Specification.	HCI (13)	2007	DBLP DOI BibTeX RDF	automation surprise analysis, automation design
9	Carlos Mario Zapata Jaramillo, Guillermo González-Calderon, Alexander F. Gelbukh	A Rule-Based System for Assessing Consistency Between UML Models.	MICAI	2007	DBLP DOI BibTeX RDF
9	Amira Regayeg, Ahmed Hadj Kacem, Mohamed Jmaiel	Towards a formal methodology for developing multi-agent applications using temporal Z.	AICCSA	2005	DBLP DOI BibTeX RDF
9	Bilel Gargouri, Mohamed Jmaiel, Abdelmajid Ben Hamadou	An Environment for Formal Specification and Verification of Lingware.	IEA/AIE	2001	DBLP DOI BibTeX RDF
9	Frederick T. Sheldon, Hye Yeon Kim, Zhihe Zhou	A Case Study: Validation of Guidance Control Software Requirements for Completeness, Consistency and Fault Tolerance.	PRDC	2001	DBLP DOI BibTeX RDF
9	Bilel Gargouri, Mohamed Jmaiel, Abdelmajid Ben Hamadou	An Environment for Formal Lingware Engineering.	AICCSA	2001	DBLP DOI BibTeX RDF
9	Rahma Ben Ayed, Jules Desharnais, Marc Frappier, Ali Mili 0001	Mathematical Foundations for Program Transformations.	LOPSTR	1998	DBLP DOI BibTeX RDF
9	Christopher Paul Gerrard, Derek Coleman, Robin M. Gallimore	Formal Specification and Design Time Testing.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	design time testing, executable specification language OBJ, formal specification, formal specification, specification languages, regularity, uniformity
9	Avi Soffer, Dov Dori	Bridging the requirements-implementation modeling gap with object-process methodology.	Innov. Syst. Softw. Eng.	2009	DBLP DOI BibTeX RDF	Transition from specification to design, Model-driven development
9	Vieri Del Bianco, Luigi Lavazza	Applying the COSMIC Functional Size Measurement Method to Problem Frames.	ICECCS	2009	DBLP DOI BibTeX RDF
9	Haruhiko Kaiya, Tomonori Sato, Akira Osada, Naoyuki Kitazawa, Kenji Kaijiri	Toward quality requirements analysis based on domain specific quality spectrum.	SAC	2008	DBLP DOI BibTeX RDF	requirements analysis, non-functional requirements, quality requirements
9	Jane Huffman Hayes, Giuliano Antoniol, Yann-Gaël Guéhéneuc	PREREQIR: Recovering Pre-Requirements via Cluster Analysis.	WCRE	2008	DBLP DOI BibTeX RDF
9	Stan Kurkovsky	Four roles of instructor in software engineering projects.	ITiCSE	2008	DBLP DOI BibTeX RDF	role of instructor, software engineering project
9	Christoph Knieke, Michaela Huhn, Malte Lochau	Modeling and Validation of Executable Requirements Using Live Activity Diagrams.	SERA	2008	DBLP DOI BibTeX RDF	Unified Modeling Language, Requirements Engineering, Model Driven Engineering, Activity Diagrams, Live Sequence Charts
9	Moshiur Bhuiyan, M. M. Zahidul Islam, Aneesh Krishna, Aditya Ghose	Integration of Agent-Oriented Conceptual Models and UML Activity Diagrams Using Effect Annotations.	COMPSAC (1)	2007	DBLP DOI BibTeX RDF
9	Mark Doernhoefer	Surfing the net for software engineering notes.	ACM SIGSOFT Softw. Eng. Notes	2006	DBLP DOI BibTeX RDF
9	John Viega	Building security requirements with CLASP.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF	security requirements, application security, security process
9	Ivan Jureta, Stéphane Faulkner	An Agent-Oriented Meta-model for Enterprise Modelling.	ER (Workshops)	2005	DBLP DOI BibTeX RDF
9	Ivan Jureta, Stéphane Faulkner, Manuel Kolp	Formalizing Agent-Oriented Enterprise Models.	AOIS	2005	DBLP DOI BibTeX RDF
9	Pedro Valderas, Joan Fons, Vicente Pelechano	Developing E-Commerce Applications from Task-Based Descriptions.	EC-Web	2005	DBLP DOI BibTeX RDF
9	Evangelia Kavakli	Goal-Oriented Requirements Engineering: A Unifying Framework.	Requir. Eng.	2002	DBLP DOI BibTeX RDF	Goal analysis, Goal modelling, Goal-oriented requirements engineering, Method integration
9	Carina Frota Alves, Anthony Finkelstein	Challenges in COTS decision-making: a goal-driven requirements engineering perspective.	SEKE	2002	DBLP DOI BibTeX RDF	decision-making COTS-based system, requirements engineering
9	Michel Benaroch	Specifying Local Ontologies in Support of Semantic Interoperability of Distributed Inter-organizational Applications.	NGITS	2002	DBLP DOI BibTeX RDF
9	Jane Cleland-Huang, Carl K. Chang, Yujia Ge	Supporting Event Based Traceability through High-Level Recognition of Change Events.	COMPSAC	2002	DBLP DOI BibTeX RDF
9	Nina Katic, Boris Nevstrujev, Douglas R. Vogel, Mark Pendergast	Bridging the Gap Between Structured Requirements and Object-Oriented Analysis and Design.	HICSS (3)	1996	DBLP DOI BibTeX RDF
9	Dale A. Brown	Requiring CS1 students to write requirements specifications: a rationale, implementation suggestions, and a case study.	SIGCSE	1988	DBLP DOI BibTeX RDF
8	Michael Goedicke, Thomas Herrmann	A Case for ViewPoints and Documents.	Monterey Workshop	2007	DBLP DOI BibTeX RDF
8	Chih-Wei Ho, Laurie A. Williams	Developing software performance with the performance refinement and evolution model.	WOSP	2007	DBLP DOI BibTeX RDF	software performance engineering process, performance requirements, software performance testing
8	Gonzalo Rojas 0001, Pedro Valderas, Vicente Pelechano	Describing Adaptive Navigation Requirements of Web Applications.	AH	2006	DBLP DOI BibTeX RDF
8	T. S. E. Maibaum	The Epistemology of Validation and Verification Testing.	TestCom	2005	DBLP DOI BibTeX RDF
8	Charles Iheagwara, Andrew Blyth, Mike Bennett	Architectural and Functional Issues in Systems Requirements Specifications for Wireless Intrusion Detection Systems Implementation.	Systems Communications	2005	DBLP DOI BibTeX RDF
8	Islam A. M. El-Maddah, T. S. E. Maibaum	Requirements-Reuse Using GOPCSD: Component-Based Development of Process Control Systems.	ICSR	2004	DBLP DOI BibTeX RDF
8	Colin J. Neill, Phillip A. Laplante	Requirements Engineering: The State of the Practice.	IEEE Softw.	2003	DBLP DOI BibTeX RDF	Specification, Requirements
8	David Harel, Hillel Kugler, Rami Marelly, Amir Pnueli	Smart play-out.	OOPSLA Companion	2003	DBLP DOI BibTeX RDF	play-out, system modeling and execution, UML, scenarios, object-oriented analysis and design, LSCs
8	K. Suzanne Barber, Thomas J. Graser	Tool Support for Systematic Class Identification in Object-Oriented Software Architectures.	TOOLS (37)	2000	DBLP DOI BibTeX RDF
8	Tereza G. Kirner	Applying the SCR Method in Software Requirements Specifications.	SCCC	2000	DBLP DOI BibTeX RDF	SCR method, Software Cost Reduction method, real-time process control systems, liquid mixture system, real-time systems, formal specification, case study, process control, software cost estimation, software requirements specifications
8	Amitvikram Rajkhowa, Perry Alexander	VSPEC Constraints Modeling and Evaluation.	ECBS	1999	DBLP DOI BibTeX RDF	performance constraints evaluation, constraints verification
8	Tereza G. Kirner, Rogéria Cristiane Gratão	A Method-Based Tool for the Specification of Multiple Views of System Requirements.	HICSS (6)	1998	DBLP DOI BibTeX RDF
8	Miles Osborne, Craig K. MacNish	Processing Natural Language Software Requirement Specifications.	ICRE	1996	DBLP DOI BibTeX RDF	Ambiguity Detection, Natural Language Processing, Tool Support
8	Kasilingam Periyasamy, J. Chidambaram	Software reuse using formal specification of requirements.	CASCON	1996	DBLP BibTeX RDF
8	Friederike Nickl, Martin Wirsing	A Formal Approach to Requirements Engineering (Invited Paper).	Formal Methods in Programming and Their Applications	1993	DBLP DOI BibTeX RDF
8	Beverly K. Kahn	A Method for Describing Information Required by the Database Design Process.	SIGMOD Conference	1976	DBLP DOI BibTeX RDF
7	R. S. Mans, Wil M. P. van der Aalst, Nick C. Russell, Piet J. M. Bakker, Arnold J. Moleman, Kristian Bisgaard Lassen, Jens Bæk Jørgensen	From Requirements via Colored Workflow Nets to an Implementation in Several Workflow Systems.	Trans. Petri Nets Other Model. Concurr.	2009	DBLP DOI BibTeX RDF	Executable Use Cases, healthcare, Workflow Management, Colored Petri Nets
7	Felipe G. Dias, Eber A. Schmitz, Maria Luiza Machado Campos, Alexandre L. Correa, Antonio J. Alencar	Elaboration of use case specifications: an approach based on use case fragments.	SAC	2008	DBLP DOI BibTeX RDF	information systems specification, use case fragments, use cases
7	Ishrar Hussain, Olga Ormandjieva, Leila Kosseim	Automatic Quality Assessment of SRS Text by Means of a Decision-Tree-Based Text Classifier.	QSIC	2007	DBLP DOI BibTeX RDF
7	Jaap Gordijn, Michaël Petit, Roel J. Wieringa	Understanding Business Strategies of Networked Value Constellations Using Goal- and Value Modeling.	RE	2006	DBLP DOI BibTeX RDF
7	Bengt Ljungquist, Thomas Thelin	An IEC 62061 Compliant Safety System Design Method for Machinery.	SAFECOMP	2005	DBLP DOI BibTeX RDF
7	Grigori Melnik, Kris Read, Frank Maurer	Suitability of FIT User Acceptance Tests for Specifying Functional Requirements: Developer Perspective.	XP/Agile Universe	2004	DBLP DOI BibTeX RDF
7	Carlos Videira, Joáo Leonardo Carmo, Alberto Rodrigues da Silva	The ProjectIT-RSL Language Overview.	UML Satellite Activities	2004	DBLP DOI BibTeX RDF
7	Jef Jacobs, J. H. van Moll, Paul J. Krause, Rob J. Kusters, Jos J. M. Trienekens	Effects of Virtual Development on Product Quality: Exploring Defect Causes.	STEP	2003	DBLP DOI BibTeX RDF	Virtual development, Defect injection, Defect Causal Analysis, Defect detection, Product Quality
7	Haruhiko Kaiya, Hisayuki Horai, Motoshi Saeki	AGORA: Attributed Goal-Oriented Requirements Analysis Method.	RE	2002	DBLP DOI BibTeX RDF	Requirements Elicitation, Quality Metrics, Goal Oriented Analysis
7	Maria Bruno Marietto, Nuno David, Jaime Simão Sichman, Helder Coelho	Requirements Analysis of Agent-Based Simulation Platforms: State of the Art and New Prospects.	MABS	2002	DBLP DOI BibTeX RDF
7	Brian Whitworth, Aldo de Moor	Legitimate by Design: Towards Trusted Virtual Community Environments.	HICSS	2002	DBLP DOI BibTeX RDF
7	Silvia Teresita Acuña, Cecilia María Lasserre, Viviana Elizabet Quincoces	Human capacities in the software process: empiric validation.	ICSE	2002	DBLP DOI BibTeX RDF
7	Michael Lang 0001, Jim Duggan	A Tool to Support Collaborative Software Requirements Management.	Requir. Eng.	2001	DBLP DOI BibTeX RDF	Computer-aided software engineering, Software development process, Requirements management, Requirements volatility
7	Junzo Kato, Seiichi Komiya, Motoshi Saeki, Atsushi Ohnishi, Morio Nagata, Shuichiro Yamamoto, Hisayuki Horai	A Model for Navigating Interview Processes in Requirements Elicitation.	APSEC	2001	DBLP DOI BibTeX RDF
7	Cecilia María Lasserre, Viviana Elizabet Quincoces, Silvia Teresita Acuña	Empiric Validation Of The Person To Role Allocation Process.	SCCC	2001	DBLP DOI BibTeX RDF
7	Magnus C. Ohlsson, Claes Wohlin	An Empirical Study of Effort Estimation during Project Execution.	IEEE METRICS	1999	DBLP DOI BibTeX RDF	proxy-based estimation, education, measurements, empirical study, data collection, Effort estimation, experience base
7	Javier Andrade Garda, Juan Ares Casal, Óscar Dieste Tubío, Rafael García Vázquez, Marta López Fernández, Santiago Rodríguez Yáñez, Luisa Verde	Creation of an Automated Management Software Requirements Environment: A Practical Experience.	DEXA Workshops	1999	DBLP DOI BibTeX RDF	automated requirements management, types and attributes of requirements, requirements tools evaluation, practical experience
7	Peter Haumer, Klaus Pohl, Klaus Weidenhaupt 0002	Requirements Elicitation and Validation with Real World Scenes.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	scenario-based requirements engineering, process-integrated environments, software development, scenario, requirements elicitation, goal modeling, Requirements management, requirements traceability, requirements validation, rich media
7	Peter Göhner	Building IPSE's by Combining Heterogeneous CASE Tools.	Software Development Environments and CASE Technology	1991	DBLP DOI BibTeX RDF
7	David Bolton, Chris Hankin, Paul H. J. Kelly	Parallel Object-Oriented Descriptions of Graph Reduction Machines (extended abstract).	PARLE (1)	1989	DBLP DOI BibTeX RDF	Parallel combinator reduction, object-oriented programming, graph rewriting systems
6	Rajesh K. Thiagarajan, Wolfgang Mayer, Markus Stumptner	Semantic Service Discovery by Consistency-Based Matchmaking.	APWeb/WAIM	2009	DBLP DOI BibTeX RDF
6	Ferid Cafer, Sanjay Misra	A cognitive requirement specification model.	ISCIS	2009	DBLP DOI BibTeX RDF
6	Victor R. L. Shen, Tong-Ying Tony Juang	Verification of Knowledge-Based Systems Using Predicate/Transition Nets.	IEEE Trans. Syst. Man Cybern. Part A	2008	DBLP DOI BibTeX RDF
6	Fernando Valles-Barajas	A requirements engineering process for control engineering software.	Innov. Syst. Softw. Eng.	2007	DBLP DOI BibTeX RDF	1992 ACC two-mass-spring, Software engineering, Requirements engineering, Adaptive control, Robust control, Control engineering
6	Jesper Berthing, Christo Angelov	Component-Based Design of Safe Real-Time Kernels for Embedded Systems.	EUROMICRO-SEAA	2007	DBLP DOI BibTeX RDF
6	Saeed Jalili, Mehdi MirzaAghaei	RVERL: Run-time Verification of Real-time and Reactive Programs using Event-based Real-Time Logic Approach.	SERA	2007	DBLP DOI BibTeX RDF	Runtime Verification (RV), Real-time and Reactive Program, Event-based Real-Time Logic (ERL), Aspect- Oriented Approach
6	Anna Queralt, Ernest Teniente	Specifying the Semantics of Operation Contracts in Conceptual Modeling.	J. Data Semantics	2006	DBLP DOI BibTeX RDF
6	Werner Damm, Tobe Toben, Bernd Westphal	On the Expressive Power of Live Sequence Charts.	Program Analysis and Compilation	2006	DBLP DOI BibTeX RDF
6	David Owen 0002, Dejan Desovski, Bojan Cukic	Random testing of formal software models and induced coverage.	Random Testing	2006	DBLP DOI BibTeX RDF	formal methods, random testing, model testing
6	Tomas Danikauskas, Rimantas Butleris, Sigitas Drasutis	Graphical User Interface Development on the Basis of Data Flows Specification.	ISCIS	2005	DBLP DOI BibTeX RDF
6	Moonzoo Kim, Mahesh Viswanathan 0001, Sampath Kannan, Insup Lee 0001, Oleg Sokolsky	Java-MaC: A Run-Time Assurance Approach for Java Programs.	Formal Methods Syst. Des.	2004	DBLP DOI BibTeX RDF	run-time monitoring and checking, execution trace validation, Java bytecode engineering, Java, formal specification, software reliability, program instrumentation
6	Mario A. Bochicchio, Nicola Fiore	WARP: Web Application Rapid Prototyping.	SAC	2004	DBLP DOI BibTeX RDF	prototyping web application, conceptual design, HDM
6	Hans-Gerhard Groß, Colin Atkinson 0001, Franck Barbier	Component Integration through Built-in Contract Testing.	Component-Based Software Quality	2003	DBLP DOI BibTeX RDF
6	Georg Kösters, Hans-Werner Six, Mario Winter	Coupling Use Cases and Class Models as a Means for Validation and Verification of Requirements Specifications.	Requir. Eng.	2001	DBLP DOI BibTeX RDF	Activity graphs, UML, Verification, Requirements engineering, Validation, Use cases, Class models
6	Sebastián Uchitel, Jeff Kramer, Jeff Magee	Detecting implied scenarios in message sequence chart specifications.	ESEC / SIGSOFT FSE	2001	DBLP DOI BibTeX RDF	FSP, implementability, synthesis, labelled transition systems, message sequence charts, LTSA
6	Mohamed Bettaz	Object Based Software Engineering with Hidden Sorted ECATNets and Hidden Labeled Rewriting Logic.	AICCSA	2001	DBLP DOI BibTeX RDF	object based software engineering, efficient prototyping, correct (incorrect) refinement, high-level Petri nets, rewriting logic
6	Dan Zhou, Joncheng C. Kuo, Susan Older, Shiu-Kai Chin	Formal Development of Secure Email.	HICSS	1999	DBLP DOI BibTeX RDF	high-assurance design and synthesis, secure email systems, formal methods, component-based design
6	Phil J. Grouse	FlowGuide: a programmer's work station.	AFIPS National Computer Conference	1984	DBLP DOI BibTeX RDF
6	Robert R. Hoffman, Kelly Neville, Jennifer Fowlkes	Using cognitive task analysis to explore issues in the procurement of intelligent decision support systems.	Cogn. Technol. Work.	2009	DBLP DOI BibTeX RDF	Systems development processes, Procurement, Cognitive task analysis
6	Frans Sanen, Eddy Truyen, Wouter Joosen	Mapping problem-space to solution-space features: a feature interaction approach.	GPCE	2009	DBLP DOI BibTeX RDF	DLV, configuration knowledge, distributed runtime adaptation, problem-solution feature interactions, software product line engineering, default logic
6	Yegor Bugayenko 0001	Method for Software Cost Estimating Using Scope Champions.	PROFES	2009	DBLP DOI BibTeX RDF	requirements analysis, software cost estimating, cost optimization, size estimating
6	Lucas Drumond, Rosario Girardi	A multi-agent legal recommender system.	Artif. Intell. Law	2008	DBLP DOI BibTeX RDF	Legal information systems, Ontologies, Semantic Web, Multi-agent systems, Recommender systems, Content-based filtering
6	Junwei Du, Zhongwei Xu, Meng Mei	Verification of Scenario-Based Safety Requirement Specification on Components Composition.	CSSE (2)	2008	DBLP DOI BibTeX RDF
6	Ashiq Anjum, Peter Bloodsworth, Andrew Branson, Tamas Hauer, Richard McClatchey, Kamran Munir, Dmitri Rogulin, Jetendr Shamdasani	The Requirements for Ontologies in Medical Data Integration: A Case Study.	IDEAS	2007	DBLP DOI BibTeX RDF
6	Najla Raza, Aamer Nadeem, Muhammad Zohaib Z. Iqbal	An Automated Approach to System Testing Based on Scenarios and Operations Contracts.	QSIC	2007	DBLP DOI BibTeX RDF
6	Mirko Morandini, Loris Penserini, Anna Perini, Angelo Susi	Refining Goal Models by Evaluating System Behaviour.	AOSE	2007	DBLP DOI BibTeX RDF
6	Akadej Udomchaiporn, Nakornthip Prompoon, Pizzanu Kanongchaiyos	Software Requirements Retrieval Using Use Case Terms and Structure Similarity Computation.	APSEC	2006	DBLP DOI BibTeX RDF
6	Lulu He, Jeffrey C. Carver	PBR vs. checklist: a replication in the n-fold inspection context.	ISESE	2006	DBLP DOI BibTeX RDF	PBR, n-fold inspection, experimentation, human subjects
6	Silvia E. Gordillo, Gustavo Rossi, Ana Moreira 0001, João Araújo 0001, Carla Vairetti, Matias Urbieta	Modeling and Composing Navigational Concerns in Web Applications. Requirements and Design Issues.	LA-WEB	2006	DBLP DOI BibTeX RDF
6	Felix S. K. Leung, Narasimha Bolloju	Analyzing the Quality of Domain Models Developed by Novice Systems Analysts.	HICSS	2005	DBLP DOI BibTeX RDF
6	Joshua J. Pauli, Dianxiang Xu	Misuse Case-Based Design and Analysis of Secure Software Architecture.	ITCC (2)	2005	DBLP DOI BibTeX RDF	security, Software architecture, use case, misuse case
6	Jean-Pierre Talpin, Paul Le Guernic, Sandeep K. Shukla, Rajesh K. Gupta 0001, Frederic Doucet	Polychrony for Refinement-Based Design.	DATE	2003	DBLP DOI BibTeX RDF
6	Mark Last, Menahem Friedman, Abraham Kandel	The data mining approach to automated software testing.	KDD	2003	DBLP DOI BibTeX RDF	finite element solver, info-fuzzy networks, input-output analysis, regression testing, automated software testing
6	John Leaney, David Rowe, Tim O'Neill	Issues in the construction of new measures within the discipline of Open Systems.	APSEC	2002	DBLP DOI BibTeX RDF
6	Ralph Depke, Reiko Heckel, Jochen Malte Küster	Improving the agent-oriented modeling process by roles.	Agents	2001	DBLP DOI BibTeX RDF	modeling process, software engineering, agents, roles