Search results for "requirements/specification"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
6	Rodolfo Castelló, Rym Mili, Ioannis G. Tollis	ViSta.	GD	2001	DBLP DOI BibTeX RDF
6	Barbara J. Czerny, Mats Per Erik Heimdahl	Identifying Domain Axioms Using Binary Decision Diagrams.	HASE	1999	DBLP DOI BibTeX RDF	Static Requirements Analysis, Domain Axioms, Spurious Errors, Completeness Analysis, False Positives, Consistency Analysis, Binary Decision Diagrams (BDDs)
6	Maya Daneva	The Role of Benchmarking in Information System Development.	CAiSE	1996	DBLP DOI BibTeX RDF
6	James Calhoun	Distribution of software engineering concepts beyond the software engineering course.	SIGCSE	1987	DBLP DOI BibTeX RDF
6	Randy H. Katz, Eugene Wong 0001	Resolving Conflicts in Global Storage Design through Replication.	ACM Trans. Database Syst.	1983	DBLP DOI BibTeX RDF	access path selection, functional data model, storage structure choice
6	Patrica H. Baucom	Software Blueprints.	ACM Annual Conference (1)	1978	DBLP DOI BibTeX RDF	Chapin charts, Nassi-Shneiderman charts, Program design language, Structured code, Structured flowcharts, Structured programming team, Structured walkthrough, Software design, Structured programming, Stepwise refinement, Structured design, Iterative refinement
4	Frank Salger, Gregor Engels, Alexander Hofmann	Assessments in global software development: a tailorable framework for industrial projects.	ICSE (2)	2010	DBLP DOI BibTeX RDF	assessment, global software development
4	Frank Salger, Gregor Engels	Knowledge transfer in global software development: leveraging acceptance test case specifications.	ICSE (2)	2010	DBLP DOI BibTeX RDF	test case specification, review, global software development
4	Joseph Sifakis	The Quest for Correctness-Beyond a Posteriori Verification.	SPIN	2009	DBLP DOI BibTeX RDF
4	Christine Mégard, Florian Gosselin, Sylvain Bouchigny, Fabien Ferlay, Farid Taha	User-centered design of a maxillo-facial surgery training platform.	VRST	2009	DBLP DOI BibTeX RDF	training, multimodal, task analysis, skills, surgery
4	Paul L. Bannerman, Liming Zhu 0001	Standardization as a Business Ecosystem Enabler.	ICSOC Workshops	2008	DBLP DOI BibTeX RDF	Standardization, business model, service-oriented computing
4	James T. Sawyer, David M. Brann	How to build better models: Applying agile techniques to simulation.	WSC	2008	DBLP DOI BibTeX RDF
4	Colin J. Fidge	Relative simulation and model checking of real-time processes.	ACSC	2008	DBLP BibTeX RDF	simulation, real-time systems, model checking
4	Sandip Ray, Warren A. Hunt Jr.	Mechanized Certification of Secure Hardware Designs.	MTV	2007	DBLP DOI BibTeX RDF
4	Daniel Sinnig, Patrice Chalin, Ferhat Khendek	Common Semantics for Use Cases and Task Models.	IFM	2007	DBLP DOI BibTeX RDF	requirements, Use cases, task models, formal semantics, labeled transition systems, partial order sets
4	Michael G. Burke, Cheryl Morris, Alessandro Orso, Martin P. Robillard	Eclipse technology eXchange (ETX) workshop.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF
4	Manfred Broy	From Chaos to Undefinedness.	Essays Dedicated to Joseph A. Goguen	2006	DBLP DOI BibTeX RDF
4	Meurig Beynon, Russell Boyatt, Steve B. Russ	Rethinking Programming.	ITNG	2006	DBLP DOI BibTeX RDF	prescription, specification, programming, identification
4	Alistair G. Sutcliffe	Trust: From Cognition to Conceptual Models and Design.	CAiSE	2006	DBLP DOI BibTeX RDF
4	Wolfgang Mueller, Yves Vanderperren	UML and model-driven development for SoC design.	CODES+ISSS	2006	DBLP DOI BibTeX RDF	simulation, UML, SoC, tools, SystemC, UML profiles, ESL design
4	Weizhong Shao, Gang Huang 0001, Haiyan Zhao	Modeling of component based systems.	ICSE	2006	DBLP DOI BibTeX RDF	UML, software architecture, component, feature model
4	Sergiy Boroday, Alexandre Petrenko, J. Singh, Hesham Hallal	Dynamic analysis of java applications for multithreaded antipatterns.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF	Java, multithreading, instrumentation, bytecode, bug patterns, antipatterns
4	Boonserm Kulvatunyou, Nenad Ivezic, Albert T. Jones	Content-Level Conformance Testing: An Information Mapping Case Study.	TestCom	2005	DBLP DOI BibTeX RDF
4	Günther Fliedl, Christian Kop, Heinrich C. Mayr, Martin Hölbling, Thomas Horn, Georg Weber, Christian Winkler	Extended Tagging and Interpretation Tools for Mapping Requirements Texts to Conceptual (Predesign) Models.	NLDB	2005	DBLP DOI BibTeX RDF
4	Feng Chen 0006, Grigore Rosu	Java-MOP: A Monitoring Oriented Programming Environment for Java.	TACAS	2005	DBLP DOI BibTeX RDF
4	Igor Ivkovic, Kostas Kontogiannis	Using Formal Concept Analysis to Establish Model Dependencies.	ITCC (2)	2005	DBLP DOI BibTeX RDF	model dependencies, software evolution, formal concept analysis, software modelling, model synchronization
4	Igor Ivkovic, Kostas Kontogiannis	Model synchronization as a problem of maximizing model dependencies.	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	MDSE, transformation mapping, model transformations, RUP, model synchronization
4	David S. Wile, Alexander Egyed	An Externalized Infrastructure for Self-Healing Systems.	WICSA	2004	DBLP DOI BibTeX RDF
4	Michael Kreutzer, Martin Kähmer, Heiko Falk	Service Discovery with Higher Order Services in Mobile Hospitals.	CBMS	2004	DBLP DOI BibTeX RDF
4	Dejan Desovski, Vijai Gandikota, Yan Liu 0003, Yue Jiang 0001, Bojan Cukic	Validation and Reliability Estimation of a Fingerprint Image Registration Software.	ISSRE	2004	DBLP DOI BibTeX RDF
4	Roy Sterritt, David F. Bantz	PAC-MEN: Personal Autonomic Computing Monitoring Environment.	DEXA Workshops	2004	DBLP DOI BibTeX RDF
4	Val Mitchell, Susan Harker, Ken D. Eason	Mobility Mapping - A Discount Technique for Exploring User Needs for Future Mobile Products and Services.	Mobile HCI	2004	DBLP DOI BibTeX RDF
4	Christian Denger, Marcus Ciolkowski, Filippo Lanubile	Investigating the Active Guidance Factor in Reading Techniques for Defect Detection.	ISESE	2004	DBLP DOI BibTeX RDF
4	Teruyoshi Zenmyo, Takashi Kobayashi 0001, Motoshi Saeki	Automated Support for Framework Selection and Customization.	ASE	2004	DBLP DOI BibTeX RDF
4	Antonia Bertolino, Stefania Gnesi	PLUTO: A Test Methodology for Product Families.	PFE	2003	DBLP DOI BibTeX RDF
4	Peter Regner, Thomas Wiesinger	Extreme Advertised Bidding.	XP	2003	DBLP DOI BibTeX RDF
4	Peter Regner, Thomas Wiesinger, Josef Küng, Roland R. Wagner	Towards a Process Model for E.cient Advertised Bidding in the Field of Software Projects.	EGOV	2003	DBLP DOI BibTeX RDF	award procedure, negotiated procedure, software process model, electronic government
4	Éric Germain, Pierre N. Robillard	What Cognitive Activities Are Performed in Student Projects?	CSEE&T	2003	DBLP DOI BibTeX RDF
4	Koushik Sen, Grigore Rosu, Gul Agha	Generating Optimal Linear Temporal Logic Monitors by Coinduction.	ASIAN	2003	DBLP DOI BibTeX RDF
4	Darijus Strasunskas, Sari Hakkarainen	Process of Product Fragments Management in Distributed Development.	OTM	2003	DBLP DOI BibTeX RDF
4	Antonio Badia	Conceptual Modeling for Semistructured Data.	WISE Workshops	2002	DBLP DOI BibTeX RDF
4	Paul Baker, Paul Bristow, Clive Jervis, David J. King, Bill Mitchell	Automatic Generation of Conformance Tests from Message Sequence Charts.	SAM	2002	DBLP DOI BibTeX RDF
4	Farokh B. Bastani, I-Ling Yen, Sung Kim, John Linn, Kashi Rao	Reliability of Systems of Independently Developable End-User Assessable Logical (IDEAL) Programs.	ISSRE	2001	DBLP DOI BibTeX RDF
4	Frode Eika Sandnes	Self-Designing User Interfaces.	EUROMICRO	2001	DBLP DOI BibTeX RDF
4	Robert C. Seacord, David A. Mundie, Somjai Boonsiri	K-BACEE: Knowledge-Based Automated Component Ensemble Evaluation.	EUROMICRO	2001	DBLP DOI BibTeX RDF
4	Linda L. Werner	A Graduate Course in Software Engineering.	CSEE&T	2000	DBLP DOI BibTeX RDF
4	Rodolfo Castelló, Rym Mili, Ioannis G. Tollis	An Algorithmic Framework for Visualizing Statecharts.	GD	2000	DBLP DOI BibTeX RDF
4	LeMai Nguyen, Paul A. Swatman, Graeme G. Shanks	Using Design Explanation within the Formal Object-Oriented Method.	Requir. Eng.	1999	DBLP DOI BibTeX RDF	Design explanation, Design rationale, Information analysis, Requirements engineering process
4	Brian D. Chance, Bonnie E. Melhart	A Taxonomy for Scenario Use in Requirements Elicitation and Analysis of Software Systems.	ECBS	1999	DBLP DOI BibTeX RDF	Scenarios, Requirements elicitation, Software requirements
4	Dolores R. Wallace, D. Richard Kuhn	Lessons from 342 Medical Device Failures.	HASE	1999	DBLP DOI BibTeX RDF
4	Susan A. Mengel	Software Metrics: Views from Education, Research, and Training.	CSEE&T	1999	DBLP DOI BibTeX RDF
4	Todd Lauinger	Software Development "in the Zone".	TOOLS (30)	1999	DBLP DOI BibTeX RDF
4	Susan Lilly	Use Case Pitfalls: Top 10 Problems from Real Projects Using Use Cases.	TOOLS (30)	1999	DBLP DOI BibTeX RDF
4	Tevfik Bultan, Richard Gerber 0001, Christopher League	Verifying Systems with Integer Constraints and Boolean Predicates: A Composite Approach.	ISSTA	1998	DBLP DOI BibTeX RDF
4	Phillip Baraona, Perry Alexander	Representing abstract architectures with axiomatic specifications and activation conditions.	ECBS	1997	DBLP DOI BibTeX RDF	abstract architectures representation, activation conditions, VSPEC, Larch interface language, axiomatic style, formal specification, VHDL, formal semantics, formal analysis, axiomatic specifications
4	Stanley M. Sutton Jr., Dennis Heimbigner, Leon J. Osterweil	APPL/A: A Language for Software Process Programming.	ACM Trans. Softw. Eng. Methodol.	1995	DBLP DOI BibTeX RDF	multiparadigm programming languages, software process programming, Ada, transaction management, consistency management, APPL
4	Mauro Gaspari, Enrico Motta, Arthur Stutt	An Open Framework for Cooperative Problem Solving.	IEEE Expert	1995	DBLP DOI BibTeX RDF
4	Petri Maaranen, Kalle Lyytinen	Designing meeting support systems in a user-centered manner: the case of the Helsinki prototype system.	COOCS	1995	DBLP DOI BibTeX RDF
4	C. V. Ramamoorthy	Distributed techniques in software systems integration.	FTDCS	1995	DBLP DOI BibTeX RDF	software systems integration, distributed computing techniques, traditional software development, waterfall model, basic conceptual model, generic integration lifecycle, design, formal specification, testing, specification, software development, software tools, validation, requirements, implementation, program verification, software development management, consumer electronics, iterative testing, automation support
4	Valeria De Antonellis, Lorenzo Vandoni	Temporal Apsects in Reuse of Requirement Specifications	CAiSE	1993	DBLP DOI BibTeX RDF
4	Mary Sumner	The senior information systems design project seminar.	SIGCSE	1987	DBLP DOI BibTeX RDF