Search results for "specification-reuse"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
50	Chia-Chu Chiang, Joseph E. Urban	Scalable Templates for Specification Reuse.	COMPSAC	1997	DBLP DOI BibTeX RDF	TUG specification language, scalability, software reuse, scheme, parameterization
31	Shih-Chien Chou, Jason Jen-Yen Chen, Chian-Goei Chung	An executable specification language for specification understanding in object-oriented specification reuse.	Inf. Softw. Technol.	1996	DBLP DOI BibTeX RDF
26	Ella E. Roubtsova, Serguei A. Roubtsov	Constraints of Behavioural Inheritance.	EWSA	2004	DBLP DOI BibTeX RDF	Constraint of behavioural inheritance, logic of behavioural inheritance, process tree semantics, behaviour specification reuse, UML profile
25	Roberto Bellinzona, Maria Grazia Fugini, Barbara Pernici	Reusing Specifications in OO Applications.	IEEE Softw.	1995	DBLP DOI BibTeX RDF
24	Ching-Fa Huang, Susumu Yoshimura, Takuji Karahashi, Norio Shiratori	A New Specification Environment for Communication Systems Based on Specification Reuse by the Application of Case Based Reasoning.	IEICE Trans. Inf. Syst.	1995	DBLP BibTeX RDF
24	Chia-Chu Chiang, Joseph E. Urban	Development of the TUG specification language to support specification reuse.	COMPSAC	1994	DBLP DOI BibTeX RDF
18	Josh Dehlinger, Robyn R. Lutz	Supporting requirements reuse in multi-agent system product line design and evolution.	ICSM	2008	DBLP DOI BibTeX RDF
16	Egon Börger, Robert F. Stärk	Exploiting Abstraction for Specification Reuse. The Java/C# Case Study.	FMCO	2003	DBLP DOI BibTeX RDF
16	Shih-Chien Chou, Jason Jen-Yen Chen, Chian-Goei Chung	A Behavior-Based Classification and Retrieval Technique for Object-Oriented Specification Reuse.	Softw. Pract. Exp.	1996	DBLP DOI BibTeX RDF
16	Claire P. Willis, Derek J. Paddon	Specification reuse for safety-critical software.	SEKE	1994	DBLP BibTeX RDF
16	Neil Arthur McDougall Maiden	Analogical specification reuse during requirements analysis.		1992	RDF
16	Neil A. M. Maiden	Analogy as a paradigm for specification reuse.	Softw. Eng. J.	1991	DBLP DOI BibTeX RDF
16	Neil A. M. Maiden, Alistair G. Sutcliffe	Analogical Matching for Specification Reuse.	KBSE	1991	DBLP DOI BibTeX RDF
16	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
16	Yusuf Pisan	Extending requirement specifications using analogy.	ICSE	2000	DBLP DOI BibTeX RDF	specification-reuse, analogical reasoning
15	Sophie Coudert, Pascale Le Gall	A Reuse-Oriented Framework for Hierarchical Specifications.	AMAST	2000	DBLP DOI BibTeX RDF	formal structured specification, structured inference, typed equational logic, language theory, reuse, proof system, monoid
13	Samira Sadaoui, Pengzhou Yin	Generalization for component reuse.	ACM Southeast Regional Conference	2004	DBLP DOI BibTeX RDF	generalization, algebraic specifications, reusable component
10	Michael Jones, Aaron Benson, Dan Delorey	Proving Compatibility Using Refinement.	TPHOLs	2004	DBLP DOI BibTeX RDF
6	Isabel Nunes	An OCL Extension for Low-Coupling Preserving Contracts.	UML	2003	DBLP DOI BibTeX RDF
6	Jeffrey M. Thompson, Mats Per Erik Heimdahl	An Integrated Development Environment for Prototyping Safety Critical Systems.	IEEE International Workshop on Rapid System Prototyping	1999	DBLP DOI BibTeX RDF	Specification-based Prototyping, Software Engineering, Embedded Systems, Safety-critical Systems, RSML