Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase Operation-refinement (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1995-2018 (11)
Publication types (Num. hits)
article(3) inproceedings(7) phdthesis(1)
Venues (Conferences, Journals, ...)
ZB(2) FM(1) Formal Aspects Comput.(1) Innov. Syst. Softw. Eng.(1) Int. J. Inf. Syst. Supply Chai...(1) REFINE(1) SNPD (3)(1) SoC(1) TOOLS (31)(1)
Authors
Martin C. Henson(3) Moshe Deutsch(3) Andreas Krall(1) Bettina Buth(1) Bixin Li(1) Boulbaba Ben Ammar(1) César Jesus Rodrigues(1) Eerke A. Boiten(1) Guoliang Zheng(1) Jeanine Souquières(1) Jian Wang 0078(1) Jiancheng Wan(1) Jin Xu(1) Jinkui Hou(1) John Derrick(1) José Nuno Oliveira(1) More (+10 of total 28)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 12 occurrences of 11 keywords
Results
Found 11 publication records. Showing 11 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
64Moshe Deutsch, Martin C. Henson An analysis of refinement in an abortive paradigm. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Operation-refinement, Specification language, Data-refinement, Specification logic
53Yunfeng Wang, Bixin Li, Jun Pang 0001, Ming Zha, Guoliang Zheng A Formal Software Development Approach Based on COOZ and Refinement Calculus. Search on Bibsonomy TOOLS (31) The full citation details ... 1999 DBLP  DOI  BibTeX  RDF formal development method, formal specification, object-oriented, refinement calculus
42José Nuno Oliveira, César Jesus Rodrigues Pointfree Factorization of Operation Refinement. Search on Bibsonomy FM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF reusable theories, refinement, Theoretical foundations, calculation
38Shuaiqiang Wang, Jiancheng Wan, Jinkui Hou OR-ATP: An Operation Refinement Approach As a Process of Automatic Theorem Proving. Search on Bibsonomy SNPD (3) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
27Moshe Deutsch, Martin C. Henson, Steve Reeves Operation Refinement and Monotonicity in the Schema Calculus. Search on Bibsonomy ZB The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
21Ralph Miarka, Eerke A. Boiten, John Derrick Guards, Preconditions, and Refinement in Z. Search on Bibsonomy ZB The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
15Na Zhao 0006, Jin Xu, Xiucheng Yang, Zhongwen Xie, Yong Yu 0009, Jian Wang 0078 Operation Refinement in Trusted Component Based on OR-Transition Colored Petri Net. Search on Bibsonomy Int. J. Inf. Syst. Supply Chain Manag. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
15Moshe Deutsch, Martin C. Henson An Analysis of Operation-Refinement in an Abortive Paradigm. Search on Bibsonomy REFINE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
15Ulrich Hirnschrott, Andreas Krall VLIW operation refinement for reducing energy consumption. Search on Bibsonomy SoC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
15Bettina Buth Operation refinement proofs for VDM-like specifications. Search on Bibsonomy 1995   RDF
11Boulbaba Ben Ammar, Mohamed Tahar Bhiri, Jeanine Souquières Incremental development of UML specifications using operation refinements. Search on Bibsonomy Innov. Syst. Softw. Eng. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Incremental specification, UML, Refinement, B
Displaying result #1 - #11 of 11 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license