|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 19 occurrences of 19 keywords
|
|
|
Results
Found 20 publication records. Showing 20 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
50 | Chia-Chu Chiang, Joseph E. Urban |
Scalable Templates for Specification Reuse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 21st International Computer Software and Applications Conference (COMPSAC '97), 11-15 August 1997, Washington, DC, USA, pp. 396-401, 1997, IEEE Computer Society, 0-8186-8105-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Softw. Technol. ![In: Inf. Softw. Technol. 38(6), pp. 419-434, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
26 | Ella E. Roubtsova, Serguei A. Roubtsov |
Constraints of Behavioural Inheritance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EWSA ![In: Software Architecture, First European Workshop, EWSA 2004, St Andrews, UK, May 21-22, 2004, Proceedings, pp. 115-134, 2004, Springer, 3-540-22000-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 12(2), pp. 65-75, 1995. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Inf. Syst. ![In: IEICE Trans. Inf. Syst. 78-D(10), pp. 1269-1281, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
24 | Chia-Chu Chiang, Joseph E. Urban |
Development of the TUG specification language to support specification reuse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: Eighteenth Annual International Computer Software and Applications Conference, COMPSAC 1994, Taipei, Taiwan, 9-11 November, 1994, Proceedings, pp. 17-22, 1994, IEEE, 0-8186-6705-2. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
18 | Josh Dehlinger, Robyn R. Lutz |
Supporting requirements reuse in multi-agent system product line design and evolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 24th IEEE International Conference on Software Maintenance (ICSM 2008), September 28 - October 4, 2008, Beijing, China, pp. 207-216, 2008, IEEE Computer Society, 978-1-4244-2613-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Egon Börger, Robert F. Stärk |
Exploiting Abstraction for Specification Reuse. The Java/C# Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCO ![In: Formal Methods for Components and Objects, Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures, pp. 42-76, 2003, Springer, 3-540-22942-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Pract. Exp. ![In: Softw. Pract. Exp. 26(7), pp. 815-832, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Claire P. Willis, Derek J. Paddon |
Specification reuse for safety-critical software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: SEKE'94, The 6th International Conference on Software Engineering and Knowledge Engineering, June 21-23, 1994, Jurmala, Latvia, pp. 516-523, 1994, Knowledge Systems Institute. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
16 | Neil Arthur McDougall Maiden |
Analogical specification reuse during requirements analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1992 |
RDF |
|
16 | Neil A. M. Maiden |
Analogy as a paradigm for specification reuse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Eng. J. ![In: Softw. Eng. J. 6(1), pp. 3-15, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
16 | Neil A. M. Maiden, Alistair G. Sutcliffe |
Analogical Matching for Specification Reuse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings 6th Annual Knowledge-Based Software Engineering Conference, KBSE 1991, Syracuse, New York, USA, September 22-25, 1991, pp. 108-116, 1991, IEEE Computer Society, 0-8186-2605-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
16 | Monique Snoeck, Geert Poels |
Analogical Reuse of Structural and Behavioral Aspects of Event-Based Object-Oriented Domain Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA Workshops ![In: 11th International Workshop on Database and Expert Systems Applications (DEXA'00), 6-8 September 2000, Greenwich, London, UK, pp. 802-806, 2000, IEEE Computer Society, 0-7695-0680-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Proceedings of the 22nd International Conference on on Software Engineering, ICSE 2000, Limerick Ireland, June 4-11, 2000., pp. 70-76, 2000, ACM, 1-58113-206-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
specification-reuse, analogical reasoning |
15 | Sophie Coudert, Pascale Le Gall |
A Reuse-Oriented Framework for Hierarchical Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology. 8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings, pp. 438-453, 2000, Springer, 3-540-67530-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Southeast Regional Conference ![In: Proceedings of the 42nd Annual Southeast Regional Conference, 2004, Huntsville, Alabama, USA, April 2-3, 2004, pp. 134-139, 2004, ACM, 1-58113-870-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
generalization, algebraic specifications, reusable component |
10 | Michael Jones, Aaron Benson, Dan Delorey |
Proving Compatibility Using Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Theorem Proving in Higher Order Logics, 17th International Conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings, pp. 168-183, 2004, Springer, 3-540-23017-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
6 | Isabel Nunes |
An OCL Extension for Low-Coupling Preserving Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UML ![In: «UML» 2003 - The Unified Modeling Language, Modeling Languages and Applications, 6th International Conference, San Francisco, CA, USA, October 20-24, 2003, Proceedings, pp. 310-324, 2003, Springer, 3-540-20243-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
6 | Jeffrey M. Thompson, Mats Per Erik Heimdahl |
An Integrated Development Environment for Prototyping Safety Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE International Workshop on Rapid System Prototyping ![In: Proceedings of the Tenth IEEE International Workshop on Rapid System Prototyping (RSP 1999), Clearwater, Florida, USA, June 16-18, 1999, pp. 172-177, 1999, IEEE Computer Society, 0-7695-0246-6. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Specification-based Prototyping, Software Engineering, Embedded Systems, Safety-critical Systems, RSML |
Displaying result #1 - #20 of 20 (100 per page; Change: )
|
|