Search results for "software specifications"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	Núria Castell, Àngels Hernández	Knowledge Management in the Sarel System. (PDF / PS)	DEXA Workshops	2000	DBLP DOI BibTeX RDF	Sarel system, specification phase, Assistance System for Writing Software Specifications in Natural Language, knowledge based tool, natural language software specifications, linguistic engineering tools, preliminary software specifications, knowledge base construction, background information, requirements section, requirements base, formal specification, knowledge management, software development process
2	David A. Burke, Kristofer Johannisson	Translating Formal Software Specifications to Natural Language.	LACL	2005	DBLP DOI BibTeX RDF
2	Emmanuel Letier, Axel van Lamsweerde	Deriving operational software specifications from system goals.	SIGSOFT FSE	2002	DBLP DOI BibTeX RDF	incremental specification, reasoning about partial models, patterns, goal-oriented requirements engineering, KAOS, operationalization, frame problem
2	J. Jenny Li, Joseph Robert Horgan	chi-SUDS-SDL: A Tool for Diagnosis and Understanding Software Specifications.	APSEC	1999	DBLP DOI BibTeX RDF	cSuds and Specification and Description Language (SDL), Software specification, debugging tool, coverage testing
2	Richard J. Anderson, Paul Beame, William Chan, David Notkin	Experiences with the Application of Symbolic Model Checking to the Analysis of Software Specifications.	Ershov Memorial Conference	1999	DBLP DOI BibTeX RDF	finite state representations, Formal methods, formal verification, binary decision diagrams, symbolic model checking, software specification
2	Sandro Morasca	Measuring Attributes of Concurrent Software Specifications in Petri Nets.	IEEE METRICS	1999	DBLP DOI BibTeX RDF
2	William Chan, Richard J. Anderson, Paul Beame, Steve Burns, Francesmary Modugno, David Notkin, Jon Damon Reese	Model Checking Large Software Specifications.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	state-based specifications, Formal methods, requirements, binary decision diagrams, statecharts, software verification, symbolic model checking
2	Richard J. Anderson, Paul Beame, Steve Burns, William Chan, Francesmary Modugno, David Notkin, Jon Damon Reese	Model Checking Large Software Specifications.	SIGSOFT FSE	1996	DBLP DOI BibTeX RDF
2	Arthur G. Ryman	Illuminating software specifications.	CASCON	1993	DBLP DOI BibTeX RDF
2	Giancarlo Nota, Giuliano Pacini	Querying of Executable Software Specifications.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	executable software specifications, requirements specification phase, external events, language RSQ, RSF, formal specification, query languages, specification languages, specification languages, querying, rapid prototyping, software designer, time constraints, software prototyping
2	E. Jane Cameron, C. A. Norman, Lillian Ruston, Hassan N. Srinidhi	Forming telecommunications software specifications from a service-driven model using enhanced software tools.	Journal of Systems Integration	1992	DBLP DOI BibTeX RDF	service modeling, service specification, Service creation
2	Andrea F. Abate, C. D'apolito, Giancarlo Nota, Giuliano Pacini	Querying and Analysis of Software Specifications.	SEKE	1992	DBLP DOI BibTeX RDF
2	Kanth Miriyala, Mehdi T. Harandi	Automatic Derivation of Formal Software Specifications From Informal Descriptions.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	formal software specifications, common problem-solving techniques, difference-based reasoning, informal description, SPECIFIER, previously solved problem, analogy mapping, formal specification, data structures, software tools, interactive system, analogy, automatic programming, schemas, data types, problem-solving process
2	Stephen S. Yau, Xiaoping Jia	Visual languages and software specifications.	ICCL	1988	DBLP DOI BibTeX RDF
2	Dines Bjørner (eds.)	Abstract Software Specifications, 1979 Copenhagen Winter School, January 22 - February 2, 1979, Proceedings	Abstract Software Specifications	1980	DBLP BibTeX RDF
2	Bálint Dömölki	An Example of Hierarchical Program Specification.	Abstract Software Specifications	1979	DBLP DOI BibTeX RDF
2	Cliff B. Jones	Models of Programming Language Concepts.	Abstract Software Specifications	1979	DBLP DOI BibTeX RDF
2	David Michael Ritchie Park	On the Semantics of Fair Parallelism.	Abstract Software Specifications	1979	DBLP DOI BibTeX RDF
2	Dines Bjørner	Experiments in Block-structured GOTO Modelling: exits vs. Continuations.	Abstract Software Specifications	1979	DBLP DOI BibTeX RDF
2	Heinz Zemanek	Abstract Architecture.	Abstract Software Specifications	1979	DBLP DOI BibTeX RDF
2	Joseph E. Stoy	Foundations of Denotational Semantics.	Abstract Software Specifications	1979	DBLP DOI BibTeX RDF
2	Ole-Johan Dahl	Time Swquences as a Tool for Describing Program Behaviour.	Abstract Software Specifications	1979	DBLP DOI BibTeX RDF
2	H. Gerstmann, Alexander Ollongren	Abstract Objects as Abstract Data Types.	Abstract Software Specifications	1979	DBLP DOI BibTeX RDF
2	Dines Bjørner	Formalization of Data Base Models.	Abstract Software Specifications	1979	DBLP DOI BibTeX RDF
2	Peter E. Lauer, M. W. Shields, Eike Best	Design & Analysis of Highly Parallel & Distributed Systems.	Abstract Software Specifications	1979	DBLP DOI BibTeX RDF
2	Gordon D. Plotkin	Dijkstras Predicate Transformers & Smyth's Power Domaine.	Abstract Software Specifications	1979	DBLP DOI BibTeX RDF
2	Rod M. Burstall, Joseph A. Goguen	The Semantics of CLEAR, A Specification Language.	Abstract Software Specifications	1979	DBLP DOI BibTeX RDF
2	Peter Lucas	On the Structure of Application Programs.	Abstract Software Specifications	1979	DBLP DOI BibTeX RDF
2	Stephen N. Zilles	Introduction to Data Algebra.	Abstract Software Specifications	1979	DBLP DOI BibTeX RDF
2	Heinz Zemanek	Banquet Talk.	Abstract Software Specifications	1979	DBLP DOI BibTeX RDF
2	Barbara Liskov	Modular Program Construction Using Abstractions.	Abstract Software Specifications	1979	DBLP DOI BibTeX RDF
1	Bo Jiang, T. H. Tse, Wolfgang Grieskamp, Nicolas Kicillof, Yiming Cao, Xiang Li, W. K. Chan	Assuring the model evolution of protocol software specifications by regression testing process improvement.	Softw., Pract. Exper.	2011	DBLP DOI BibTeX RDF
1	Mehrdad Nojoumian, Timothy C. Lethbridge	Reengineering PDF-based documents targeting complex software specifications.	I. J. Knowledge and Web Intelligence	2011	DBLP DOI BibTeX RDF
1	Imran Sarwar Bajwa, M. Abbas Choudhary	From Natural Language Software Specifications to UML Class Models.	ICEIS	2011	DBLP DOI BibTeX RDF
1	Cyrille Dongmo, John A. van der Poll	Evaluating software specifications by comparison.	SAICSIT Conf.	2011	DBLP DOI BibTeX RDF
1	Aysh Alhroob, Keshav P. Dahal, M. Alamgir Hossain	Automatic Test Cases Generation from Software Specifications.	e-Informatica	2010	DBLP BibTeX RDF
1	P. K. Suri, Gurdev Singh	Automatic generation of design search keywords from software specifications to improve design search results.	ACM SIGSOFT Software Engineering Notes	2010	DBLP DOI BibTeX RDF
1	Rakhi C. Motwani, Mukesh C. Motwani, Sergiu M. Dascalu, Frederick C. Harris Jr.	VoiceMarc3D: Software Specifications and Implementation Design.	CAINE	2010	DBLP BibTeX RDF
1	Alexander Yale-Loehr, Ian D. Schlesinger, Aubrey J. Rembert, M. Brian Blake	Discovering Shared Services from Cross-Organizational Software Specifications.	IEEE SCC	2010	DBLP DOI BibTeX RDF	requirements engineering, service discovery, Service-oriented computing
1	Brahim Hamid, Fatma Krichen	Model-based engineering for dynamic reconfiguration in DRTES.	ECSA Companion Volume	2010	DBLP DOI BibTeX RDF	model driven engineering, dynamic reconfiguration, meta-model, UML profiles, component-based architecture, distributed real time embedded systems
1	Abdelaziz Fellah	Time and alternation: an automata based framework to software model checking.	SAC	2010	DBLP DOI BibTeX RDF	software verification and testing, timed alternating and buchi automata, timed temporal propositional logic, software model checking
1	Kyriakos Anastasakis, Behzad Bordbar, Geri Georg, Indrakshi Ray	On challenges of model transformation from UML to Alloy.	Software and System Modeling	2010	DBLP DOI BibTeX RDF
1	Mehrdad Nojoumian, Timothy C. Lethbridge	Reengineering PDF-Based Documents Targeting Complex Software Specifications	CoRR	2009	DBLP BibTeX RDF
1	Shaoying Liu	Integrating top-down and scenario-based methods for constructing software specifications.	Information & Software Technology	2009	DBLP DOI BibTeX RDF
1	Tuba Yavuz-Kahveci, Tevfik Bultan	Action Language verifier: an infinite-state model checker for reactive software specifications.	Formal Methods in System Design	2009	DBLP DOI BibTeX RDF
1	David Lo	Mining Software Specifications.	Encyclopedia of Data Warehousing and Mining	2009	DBLP BibTeX RDF
1	Axel van Lamsweerde	Requirements Engineering - From System Goals to UML Models to Software Specifications.		2009	RDF
1	Andrea Herrmann, Daniel Weiß	Alignment of Software Specifications with Quality- and Business Goals in the SIKOSA Method.	PRIMIUM	2009	DBLP BibTeX RDF
1	R. Jeevarathinam, Antony Selvadoss Thanamani	Transaction Mapping based Approach for Mining Software Specifications.	NaBIC	2009	DBLP DOI BibTeX RDF
1	Frank Salger, Stefan Sauer, Gregor Engels	Integrated specification and quality assurance for large business information systems.	ISEC	2009	DBLP DOI BibTeX RDF	quality assurance, software specification
1	Jorn Bettin, William R. Cook, Tony Clark, Steven Kelly	Knowledge industry survival strategy (KISS): fundamental principles and interoperability requirements for domain specific modeling languages.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	model driven software, modeling language design, interoperability, modularity, domain specific language
1	David Briggs, Suad Alagic	Algebraic specification techniques for parametric types with logic-based constraints.	SAC	2009	DBLP DOI BibTeX RDF	parametric types, verification theories, assertions, PVS, JML
1	Edmund M. Clarke	My 27-year Quest to Overcome the State Explosion Problem.	LICS	2009	DBLP DOI BibTeX RDF
1	Mauro Pezzè, Jochen Wuttke	Automatic Generation of Runtime Failure Detectors from Property Templates.	Software Engineering for Self-Adaptive Systems	2009	DBLP DOI BibTeX RDF
1	Iman Saleh, Gregory Kulczycki, M. Brian Blake	A Reusable Model for Data-Centric Web Services.	ICSR	2009	DBLP DOI BibTeX RDF	Data-Centric Web Services, SOA, Formal Specification, SOC
1	Christoph Marhold, Clotilde Rohleder, Camille Salinesi, Jörg Dörr	Clarifying Non-functional Requirements to Improve User Acceptance - Experience at Siemens.	REFSQ	2009	DBLP DOI BibTeX RDF	Non-Functional Requirements, User Acceptance
1	Martin Nordio, Roman Mitin, Bertrand Meyer, Carlo Ghezzi, Elisabetta Di Nitto, Giordano Tamburrelli	The Role of Contracts in Distributed Development.	SEAFOOD	2009	DBLP DOI BibTeX RDF	Contracts, Distributed Development, Interface Specifications, Software Requirements Specifications
1	Jens Bæk Jørgensen, Simon Tjell, João M. Fernandes	Formal requirements modelling with executable use cases and coloured Petri nets.	ISSE	2009	DBLP DOI BibTeX RDF	Requirements and specifications, Requirements engineering, Model-driven development, Coloured Petri nets, Platform-independent models
1	Christophe Lucarz, Marco Mattavelli, Julien Dubois	A Platform for the Development and the Validation of HW IP Components Starting from Reference Software Specifications.	EURASIP J. Emb. Sys.	2008	DBLP DOI BibTeX RDF
1	Maulik A. Dave	Review of "Semantic Integration of Heterogeneous Software Specifications by Martin Grobe-Rhode", Springer-Verlag, 2004.	SIGACT News	2008	DBLP DOI BibTeX RDF
1	Shaoying Liu	Integrating Top-Down and Scenario-Based Methods for Constructing Software Specifications.	QSIC	2008	DBLP DOI BibTeX RDF	modeling, formal specification, Scenario-based design, Top-Down design
1	Andrea Herrmann, Daniel Weiß	Alignment of Software Specifications with Quality- and Business Goals in the SIKOSA Methodology.	PRIMIUM	2008	DBLP BibTeX RDF
1	Jan Isakovic, Alja Sulcic	A value-added methodology for defining virtual communities for enterprises.	MindTrek	2008	DBLP DOI BibTeX RDF	enterprise virtual communities, value-added building of virtual communities, virtual communities
1	David Lo	Mining specifications in diversified formats from execution traces.	ICSM	2008	DBLP DOI BibTeX RDF
1	James Burton	Diagrams and intuitive formal specifications.	VL/HCC	2008	DBLP DOI BibTeX RDF
1	David Lo, Siau-Cheng Khoo, Chao Liu 0001	Efficient Mining of Recurrent Rules from a Sequence Database.	DASFAA	2008	DBLP DOI BibTeX RDF
1	Edmund M. Clarke	Model Checking - My 27-Year Quest to Overcome the State Explosion Problem.	LPAR	2008	DBLP DOI BibTeX RDF
1	C. Murray Woodside	The Relationship of Performance Models to Data.	SIPEW	2008	DBLP DOI BibTeX RDF
1	Ana Belén Barragáns-Martínez, José J. Pazos Arias, Ana Fernández Vilas, Jorge García Duque, Martín López Nores, Rebeca P. Díaz Redondo, Yolanda Blanco-Fernández	Composing requirements specifications from multiple prioritized sources.	Requir. Eng.	2008	DBLP DOI BibTeX RDF	Requirements specification, Viewpoints, Inconsistency, Prioritization, Incompleteness
1	Mohammad Zulkernine, Mathew Graves, Muhammad Umair Ahmed Khan	Integrating software specifications into intrusion detection.	Int. J. Inf. Sec.	2007	DBLP DOI BibTeX RDF	Software specification languages, Intrusion detection, State machines, Attack scenarios
1	Michael Esser, Peter Struss	Automated Test Generation from Models Based on Functional Software Specifications.	IICAI	2007	DBLP BibTeX RDF
1	Manar Abu Talib, Adel Khelifi, Alain Abran, Olga Ormandjieva	Assessment of Real-Time Software Specifications Quality Using COSMIC-FFP.	IWSM/Mensura	2007	DBLP DOI BibTeX RDF	ISO 19761, system-level requirements specification, codesign, functional size measurement, COSMIC-FFP
1	Diomidis Spinellis, Naseem Mariam, Caroline Pepa	Bookshelf.	IEEE Software	2007	DBLP DOI BibTeX RDF	software engineering, measurement, software development, traceability, code, coding, process improvement, software specifications, CMMI, call graphs, acquisition
1	Oliver Skroch	Validation of Component-Based Software with a Customer Centric Domain Level Approach.	ECBS	2007	DBLP DOI BibTeX RDF
1	Chartchai Doungsa-ard, Keshav P. Dahal, M. Alamgir Hossain, Taratip Suwannasart	Test Data Generation from UML State Machine Diagrams using GAs.	ICSEA	2007	DBLP DOI BibTeX RDF	UML state machine diagram, Genetic algorithm, Test data generation
1	Mehrdad Nojoumian, Timothy C. Lethbridge	Extracting Document Structure to Facilitate a Knowledge Base Creation for The UML Superstructure Specification.	ITNG	2007	DBLP DOI BibTeX RDF
1	Jens Bæk Jørgensen	Executable Use Cases: A Supplement to Model-Driven Development?.	MOMPES	2007	DBLP DOI BibTeX RDF
1	Yasufumi Shinyashiki, Toshiro Mise, Masaaki Hashimoto, Keiichi Katamine, Naoyasu Ubayashi, Takako Nakatani	A Suggestion for Analysis of Unexpected Obstacles in Embedded System.	HCI	2007	DBLP DOI BibTeX RDF
1	Christophe Lucarz, Marco Mattavelli	A Platform for Mixed HW/SW Algorithm Specifications for the Exploration of SW and HW Partitioning.	PATMOS	2007	DBLP DOI BibTeX RDF
1	Chin-Feng Fan, Chun-Yin Cheng	Constraint-Based Software Specifications and Verification Using UML.	IEICE Transactions	2006	DBLP DOI BibTeX RDF
1	Claudio de la Riva, Javier Tuya	Automatic generation of assumptions for modular verification of software specifications.	Journal of Systems and Software	2006	DBLP DOI BibTeX RDF
1	Chia-Chu Chiang	A Language for Writing Formal Software Specifications: The Library Problem Revisited.	ITNG	2006	DBLP DOI BibTeX RDF
1	Mohammed Sullabi, Zarina Shukur	Web-based Collaborative Model for Preparing Formal Software Specifications.	iiWAS	2006	DBLP BibTeX RDF
1	Jin Song Dong	From semantic web to expressive software specifications: a modeling languages spectrum.	ICSE	2006	DBLP DOI BibTeX RDF
1	Ingolf H. Krüger, Reena Mathew, Michael Meisinger	Efficient exploration of service-oriented architectures using aspects.	ICSE	2006	DBLP DOI BibTeX RDF	architecture comparison, distributed reactive systems, software architecture exploration, components, aspect-oriented programming, services, roles, aspects, aspectJ, service-oriented development
1	Vesna Mikulovic, Michael Heiss	"How do I know what I have to do?": the role of the inquiry culture in requirements communication for distributed software development projects.	ICSE	2006	DBLP DOI BibTeX RDF	informal/formal communication, inquiry culture, requirement interaction management, requirements communication, state machine, global software development
1	Kristina Winbladh, Thomas A. Alspaugh, Hadar Ziv, Debra J. Richardson	Architecture-based testing using goals and plans.	ROSATEA	2006	DBLP DOI BibTeX RDF	architecture-based testing, goal-driven software development, specification-based testing
1	Ingolf H. Krüger, Gunny Lee, Michael Meisinger	Automating software architecture exploration with M2Aspects.	SCESM	2006	DBLP DOI BibTeX RDF	architecture comparison, distributed reactive systems, software architecture exploration, components, aspect-oriented programming, services, scenarios, roles, aspects, AspectJ
1	Yingxu Wang	Cognitive Complexity of Software and its Measurement.	IEEE ICCI	2006	DBLP DOI BibTeX RDF
1	Christian Ferdinand, Reinhold Heckmann, Hans-Jörg Wolff, Christian Renz, Manabendra Gupta, Oleg Parshin	Towards an Integration of Low-Level Timing Analysis and Model-Based Code Generation.	ISoLA	2006	DBLP DOI BibTeX RDF
1	Axel Schneider, Stephan Walter, Jan Langer, Ulrich Heinkel	Automatic Visualization of Abstract System Specifications.	QSIC	2006	DBLP DOI BibTeX RDF
1	Sami Evangelista, Jean-François Pradat-Peyre	On the Computation of Stubborn Sets of Colored Petri Nets.	ICATPN	2006	DBLP DOI BibTeX RDF
1	Christian Ferdinand, Reinhold Heckmann, Hans-Jörg Wolff, Christian Renz, Oleg Parshin, Reinhard Wilhelm	Towards Model-Driven Development of Hard Real-Time Systems.	ASWSD	2006	DBLP DOI BibTeX RDF
1	Dorel Lucanu, Yuan-Fang Li, Jin Song Dong	Semantic Web Languages - Towards an Institutional Perspective.	Essays Dedicated to Joseph A. Goguen	2006	DBLP DOI BibTeX RDF
1	Nikolai Tillmann, Feng Chen, Wolfram Schulte	Discovering Likely Method Specifications.	ICFEM	2006	DBLP DOI BibTeX RDF
1	Shouhong Wang	Business Software Specifications for Consumers: Toward a Standard Format.	JOEUC	2005	DBLP BibTeX RDF
1	Xiushan Feng, Alan J. Hu, Jin Yang	Partitioned model checking from software specifications.	ASP-DAC	2005	DBLP DOI BibTeX RDF
1	Tammy VanDeGrift, Beth Simon, Dean Sanders, Ken Blaha	Do Students Recognize Ambiguity in Software Specifications? A Multi-national, Multi-institutional Report.	Software Education and Training Sessions @ ICSE	2005	DBLP DOI BibTeX RDF
1	Linda Akli, Cal T. Collins, Yolanda George	BEN collaborative poster.	JCDL	2005	DBLP DOI BibTeX RDF
1	Ingolf H. Krüger, Reena Mathew, Michael Meisinger	From scenarios to aspects: exploring product lines.	ACM SIGSOFT Software Engineering Notes	2005	DBLP DOI BibTeX RDF