|
|
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. |
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 |
Displaying result #1 - #20 of 20 (100 per page; Change: )
|
|