|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 69 occurrences of 48 keywords
|
|
|
Results
Found 71 publication records. Showing 60 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
119 | Jin Song Dong, Chew Hung Lee, Yuan-Fang Li, Hai H. Wang |
Verifying DAML+OIL and Beyond in Z/EVES. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 26th International Conference on Software Engineering (ICSE 2004), 23-28 May 2004, Edinburgh, United Kingdom, pp. 201-210, 2004, IEEE Computer Society, 0-7695-2163-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
111 | Jim Woodcock 0001, Leo Freitas |
Z/Eves and the Mondex Electronic Purse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2006, Third International Colloquium, Tunis, Tunisia, November 20-24, 2006, Proceedings, pp. 15-34, 2006, Springer, 3-540-48815-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
electronic finance, software archaeology, the Z notation, Z/Eves, security, refinement, theorem proving, smart cards, Grand Challenge, Verified Software Repository, Mondex |
111 | Dan Craigen, Sentot Kromodimoeljo, Irwin Meisels, Bill Pase, Mark Saaltink |
EVES: An Overview. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VDM Europe (1) ![In: VDM '91 - Formal Software Development, 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991, Proceedings, Volume 1: Conference Contributions, pp. 389-405, 1991, Springer, 3-540-54834-3. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
EVES, NEVER, Verdi, formal methods, Automated deduction, logic of programs |
93 | Leo Freitas, Jim Woodcock 0001 |
Mechanising Mondex with Z/Eves. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 20(1), pp. 117-139, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Electronic finance, Grand Challenge in Verified Software, Software archaeology, Z/Eves, Security, Verification, Refinement, Theorem proving, Smart cards, Correctness, Z notation, Grand challenges, Verified Software Repository, Mondex |
83 | Mark Saaltink, Sentot Kromodimoeljo, Bill Pase, Dan Craigen, Irwin Meisels |
An EVES Data Abstraction Example. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME '93: Industrial-Strength Formal Methods, First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993, Proceedings, pp. 578-596, 1993, Springer, 3-540-56662-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
65 | Leo Freitas, Zheng Fu, Jim Woodcock 0001 |
POSIX file store in Z/Eves: an experiment in the verified software repository. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 10-14 July 2007, Auckland, New Zealand, pp. 3-14, 2007, IEEE Computer Society, 978-0-7695-2895-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
54 | Jin Song Dong, Chew Hung Lee, Hian Beng Lee, Yuan-Fang Li, Hai H. Wang |
A combined approach to checking web ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW ![In: Proceedings of the 13th international conference on World Wide Web, WWW 2004, New York, NY, USA, May 17-20, 2004, pp. 714-722, 2004, ACM, 1-58113-844-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
racer, ontologies, semantic web, z, alloy, daml+oil |
47 | Leo Freitas, Konstantinos Mokos, Jim Woodcock 0001 |
Verifying the CICS File Control API with Z/Eves: An Experiment in the Verified Software Repository. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 10-14 July 2007, Auckland, New Zealand, pp. 290-298, 2007, IEEE Computer Society, 978-0-7695-2895-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
47 | Ora Canada |
Z/EVES Version 1.5: An Overview. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM-Trends ![In: Applied Formal Methods - FM-Trends 98, International Workshop on Current Trends in Applied Formal Method, Boppard, Germany, October 7-9, 1998, Proceedings, pp. 367-376, 1998, Springer, 3-540-66462-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
47 | Yves Ledru |
Identifying Pre-Conditions with the Z/EVES Theorem Prover. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: The Thirteenth IEEE Conference on Automated Software Engineering, ASE 1998, Honolulu, Hawaii, USA, October 13-16, 1998, pp. 32-, 1998, IEEE Computer Society, 0-8186-8750-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
45 | Leo Freitas, Jim Woodcock 0001 |
Proving Theorems About JML Classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods and Hybrid Real-Time Systems ![In: Formal Methods and Hybrid Real-Time Systems, Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays, Papers presented at a Symposium held in Macao, China, September 24-25, 2007, pp. 255-279, 2007, Springer, 978-3-540-75220-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Grand Challenge in Verified Software, Java Collections Framework, Java HashMap class, linking theories, Z/Eves, formal specification, Z, software verification, JML, Java Modeling Language, mechanical theorem proving, Verified Software Repository |
45 | Jing Sun 0002, Hongyu Zhang 0002, Yuan-Fang Li, Hai H. Wang |
Formal Semantics and Verification for Feature Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 16-20 June 2005, Shanghai, China, pp. 303-312, 2005, IEEE Computer Society, 0-7695-2284-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Feature Oriented Domain Analysis, Z/EVES, Formal Verification, Feature Modeling, Domain Engineering, Alloy |
37 | Kameron Eves, John Valasek |
Adaptive Control for Non-Minimum Phase Systems Via Time Scale Separation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACC ![In: American Control Conference, ACC 2023, San Diego, CA, USA, May 31 - June 2, 2023, pp. 4223-4228, 2023, IEEE, 979-8-3503-2806-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
37 | Paul van Schaik, Matthew Unwin, David Eves, Melissa Lara, Alfred Mensah |
User-experience in design and use: enhancing the experience of media content with programmable surround lighting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Qual. User Exp. ![In: Qual. User Exp. 2(1), 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
37 | Brett R. Stone, John L. Salmon, Keenan Eves, Matthew Killian, Landon Wright, Jordan Oldroyd, Steve Gorrell, Michael C. Richey |
A Multi-User Computer-Aided Design Competition: Experimental Findings and Analysis of Team-Member Dynamics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Inf. Sci. Eng. ![In: J. Comput. Inf. Sci. Eng. 17(3), 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
37 | Christopher Eves, Xue Wang, Stephen G. Walker |
Bayesian Information for Sensors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Qual. Reliab. Eng. Int. ![In: Qual. Reliab. Eng. Int. 31(8), pp. 1717-1724, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
37 | Makoto Miwa, James Thomas 0001, Alison O'Mara-Eves, Sophia Ananiadou |
Reducing systematic review workload through certainty-based screening. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Biomed. Informatics ![In: J. Biomed. Informatics 51, pp. 242-253, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
37 | Richard I. Anderson, Jeremy Ashley, Tobias Herrmann, Justin Miller, Jim Nieters, Shauna Sampson Eves, Secil Tabli Watson |
Moving ux into a position of corporate influence: whose advice really works? ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Extended Abstracts Proceedings of the 2007 Conference on Human Factors in Computing Systems, CHI 2007, San Jose, California, USA, April 28 - May 3, 2007, pp. 1905-1908, 2007, ACM, 978-1-59593-642-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
user experience, user-centered design, management, organizations |
37 | Willi Geiger, Robert Hoffmeister, Masi Oka, Simon Eves |
Stormy weather. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGGRAPH Sketches ![In: International Conference on Computer Graphics and Interactive Techniques, SIGGRAPH 2004, Los Angeles, California, USA, August 8-12, 2004, Sketches, pp. 15, 2004, ACM. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
37 | Jeanine L. Eves, Todd J. Anderson |
Innovations in a Mature Scanner Market. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PICS ![In: PICS 2003: The PICS Conference, An International Technical Conference on The Science and Systems of Digital Photography, including the Fifth International Symposium on Multispectral Color Science, May 13, 2003, Rochester, NY, USA, pp. 395-398, 2003, IS&T - The Society for Imaging Science and Technology, 0-89208-245-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
37 | Bob Eves |
The colour concept generator : a computer tool to propose colour concepts for products. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1997 |
RDF |
|
37 | R. M. McKeag, Ann Eves, E. J. Rooney |
Designing Software for Children. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Pract. Exp. ![In: Softw. Pract. Exp. 14(5), pp. 451-461, 1984. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
37 | J. M. Eves, Stanley L. Hurst |
Improvements in Multioutput Threshold-Logic Gates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. J. ![In: Comput. J. 21(1), pp. 79-85, 1978. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
|
36 | Luca Chittaro, Roberto Ranon |
Adaptive Hypermedia Techniques for 3D Educational Virtual Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Intell. Syst. ![In: IEEE Intell. Syst. 22(4), pp. 31-37, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
educational virtual environments, personalization, e-learning, X3D, adaptive hypermedia, 3D virtual environments |
36 | John C. Knight, P. Thomas Fletcher, Brian R. Hicks |
Tool Support for Production Use of Formal Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
World Congress on Formal Methods ![In: FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume II, pp. 1854, 1999, Springer, 3-540-66588-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
29 | Kefeng Guo, Xingwang Li 0001, Mamoun Alazab, Rutvij H. Jhaveri, Kang An 0001 |
Integrated Satellite Multiple Two-Way Relay Networks: Secrecy Performance Under Multiple Eves and Vehicles With Non-Ideal Hardware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Intell. Veh. ![In: IEEE Trans. Intell. Veh. 8(2), pp. 1307-1318, February 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
29 | Ge Shi 0004, Yong Li 0036, Wei Cheng, Xiang Gao, Wenjie Zhang 0002 |
An Artificial-Noise-Based Approach for the Secrecy Rate Maximization of MISO VLC Wiretap Channel With Multi-Eves. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 9, pp. 651-659, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
29 | Mingwu Zhang, Yudi Zhang 0001, Yan Jiang 0002, Jian Shen 0001 |
Obfuscating EVES Algorithm and Its Application in Fair Electronic Transactions in Public Clouds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Syst. J. ![In: IEEE Syst. J. 13(2), pp. 1478-1486, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
29 | Van-Dinh Nguyen, Trung Quang Duong, Octavia A. Dobre, Oh-Soon Shin |
Secrecy rate maximization in a cognitive radio network with artificial noise aided for MISO multi-eves. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICC ![In: 2016 IEEE International Conference on Communications, ICC 2016, Kuala Lumpur, Malaysia, May 22-27, 2016, pp. 1-6, 2016, IEEE, 978-1-4799-6664-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
29 | Adam Coffman 0001 |
Weighted Projective Spaces and a Generalization of Eves' Theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Math. Imaging Vis. ![In: J. Math. Imaging Vis. 48(3), pp. 432-450, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
29 | Qiang Li 0017, Wing-Kin Ma |
Spatially Selective Artificial-Noise Aided Transmit Optimization for MISO Multi-Eves Secrecy Rate Maximization ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1303.1915, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
29 | Qiang Li 0017, Wing-Kin Ma |
Spatially Selective Artificial-Noise Aided Transmit Optimization for MISO Multi-Eves Secrecy Rate Maximization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Signal Process. ![In: IEEE Trans. Signal Process. 61(10), pp. 2704-2717, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
29 | Leo Freitas, Jim Woodcock 0001, Yichi Zhang |
Verifying the CICS File Control API with Z/Eves: An experiment in the verified software repository. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 74(4), pp. 197-218, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
29 | Leo Freitas, Jim Woodcock 0001, Zheng Fu |
POSIX file store in Z/Eves: An experiment in the verified software repository. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 74(4), pp. 238-257, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
29 | Mark Saaltink |
The Z/EVES System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZUM ![In: ZUM '97: The Z Formal Specification Notation, 10th International Conference of Z Users, Reading, UK, April 3-4, 1997, Proceedings, pp. 72-85, 1997, Springer, 3-540-62717-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
29 | Sentot Kromodimoeljo, Bill Pase, Mark Saaltink, Dan Craigen, Irwin Meisels |
The EVES System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Functional Programming, Concurrency, Simulation and Automated Reasoning ![In: Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada, pp. 349-373, 1993, Springer, 3-540-56883-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
29 | Dan Craigen, Sentot Kromodimoeljo, Irwin Meisels, Bill Pase, Mark Saaltink |
Eves System Description. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-11, 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992, Proceedings, pp. 771-775, 1992, Springer, 3-540-55602-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
29 | Mark Saaltink |
Z and Eves. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Z User Workshop ![In: Z User Workshop, York, UK, 16-17 December 1991, Proceedings, pp. 223-242, 1991, Springer, 3-540-19780-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
29 | Dan Craigen, Sentot Kromodimoeljo, Irwin Meisels, Andy Neilson, Bill Pase, Mark Saaltink |
m-EVES: A Tool for Verifying Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Proceedings, 10th International Conference on Software Engineering, Singapore, Singapore, April 11-15, 1988., pp. 324-333, 1988, IEEE Computer Society, 0-8186-0849-8. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
29 | Dan Craigen, Mark Saaltink |
An EVES update. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 10(4), pp. 33-34, 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
29 | Dan Craigen |
Ottawa Euclid and EVES: A Status Report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
S&P ![In: Proceedings of the 1984 IEEE Symposium on Security and Privacy, Oakland, California, USA, April 29 - May 2, 1984, pp. 114-124, 1984, IEEE Computer Society, 0-8186-0532-4. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
27 | Sophie Dupuy, Lydie du Bousquet |
A Multi-formalism Approach for the Validation of UML Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 12(4), pp. 228-230, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Rational Rose ™, RoZ, Z-EVES, UML, Z, Lustre, Multi-formalism |
18 | Khaled Alghathbar, Hanan A. Mahmoud |
Noisy password scheme: A new one time password system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCECE ![In: Proceedings of the 22nd Canadian Conference on Electrical and Computer Engineering, CCECE 2009, 3-6 May 2009, Delta St. John's Hotel and Conference Centre, St. John's, Newfoundland, Canada, pp. 841-846, 2009, IEEE, 978-1-4244-3508-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Monia Loulou, Mohamed Tounsi 0001, Ahmed Hadj Kacem, Mohamed Jmaiel |
A Formal Approach to prevent Attacks on Mobile Agent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SECURWARE ![In: Proceedings of the First International Conference on Emerging Security Information, Systems and Technologies, SECURWARE 2007, October 14-20, 2007, Valencia, Spain, pp. 42-47, 2007, IEEE Computer Society, 0-7695-2989-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Shoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto, Jingde Cheng |
Formal verification of security specifications with common criteria. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), Seoul, Korea, March 11-15, 2007, pp. 1506-1512, 2007, ACM, 1-59593-480-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
ISO/IEC 15408, theorem-proving, Z notation |
18 | Imen Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel, Khalil Drira |
Formal Design of Structural and Dynamic Features of Publish/Subscribe Architectural Styles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSA ![In: Software Architecture, First European Conference, ECSA 2007, Aranjuez, Spain, September 24-26, 2007, Proceedings, pp. 44-59, 2007, Springer, 978-3-540-75131-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
publish/subscribe style, style composition, software architecture, formal specification, architecture modeling, graph rewriting, dynamic architecture |
18 | Tassos A. Mikropoulos |
Presence: a unique characteristic in educational virtual environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Virtual Real. ![In: Virtual Real. 10(3-4), pp. 197-206, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Educational virtual environments, Personal presence, Social presence, Involvement, Learning outcomes |
18 | Zhicheng Wen, Huaikou Miao, Hongwei Zeng |
Generating Proof Obligation to Verify Object-Z Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSEA ![In: Proceedings of the International Conference on Software Engineering Advances (ICSEA 2006), October 28 - November 2, 2006, Papeete, Tahiti, French Polynesia, pp. 38, 2006, IEEE Computer Society, 0-7695-2703-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
formal specification, Object-Z, proof obligation |
18 | Mamadou K. Traoré |
Analyzing static and temporal properties of simulation models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the Winter Simulation Conference WSC 2006, Monterey, California, USA, December 3-6, 2006, pp. 897-904, 2006, IEEE Computer Society, 1-4244-0501-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Riadh Ben Halima, Mohamed Jmaiel, Khalil Drira |
Graphical simulation of the dynamic evolution of the software architectures specified in Z. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWPSE ![In: 8th International Workshop on Principles of Software Evolution (IWPSE 2005), 5-7 September 2005, Lisbon, Portugal, pp. 45-48, 2005, IEEE Computer Society, 0-7695-2349-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Hany Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel |
A formal model for mobile agent systems using Z. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AICCSA ![In: 2005 ACS / IEEE International Conference on Computer Systems and Applications (AICCSA 2005), January 3-6, 2005, Cairo, Egypt, pp. 113, 2005, IEEE Computer Society, 0-7803-8735-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Stefan Dziembowski, Ueli M. Maurer |
On Generating the Initial Key in the Bounded-Storage Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCRYPT ![In: Advances in Cryptology - EUROCRYPT 2004, International Conference on the Theory and Applications of Cryptographic Techniques, Interlaken, Switzerland, May 2-6, 2004, Proceedings, pp. 126-137, 2004, Springer, 3-540-21935-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Amira Regayeg, Ahmed Hadj Kacem, Mohamed Jmaiel |
Specification and Verification of Multi-Agent Applications using Temporal Z. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IAT ![In: 2004 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT 2004), 20-24 September 2004, Beijing, China, pp. 260-266, 2004, IEEE Computer Society, 0-7695-2101-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Imen Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel, Khalil Drira |
Towards a Unified Graph-Based Framework for Dynamic Component-Based Architectures Description in Z. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPS ![In: The IEEE/ACS International Conference on Pervasive Services (ICPS'04), July 19-23, 2004, American University of Beirut (AUB), Lebanon, pp. 227-234, 2004, IEEE Computer Society, 0-7803-8577-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
component-based applications, software architecture, formal specification, architectural style, graph rewriting, dynamic architecture |
18 | Monia Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel |
Formalization of Cooperation in MAS: Towards a Generic Conceptual Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IBERAMIA ![In: Advances in Artificial Intelligence - IBERAMIA 2004, 9th Ibero-American Conference on AI, Puebla, Mexico, November 22-26, 2004, Proceedings, pp. 43-52, 2004, Springer, 3-540-23806-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Jörn Guy Süß, Andreas Leicher, Fadi Chabarek |
Software Model Engineering and Reuse with the Evolution and Validation Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FIDJI ![In: Scientific Engineering of Distributed Java Applications, Third International Workshop, FIDJI 2003, Luxembourg-Kirchberg, Luxembourg, November 27-28, 2003, Revised Papers, pp. 96-105, 2003, Springer, 3-540-21091-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Jin Song Dong, Jing Sun 0002, Hai H. Wang |
Z Approach to Semantic Web. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002, Proceedings, pp. 156-167, 2002, Springer, 3-540-00029-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Semantic Web, Z |
18 | Jonathan Ford, Natarajan Shankar |
Formal Verification of a Combination Decision Procedure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-18, 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings, pp. 347-362, 2002, Springer, 3-540-43931-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Dan Craigen |
Formal Methods Adoption: What's Working, What's Not! ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Theoretical and Practical Aspects of SPIN Model Checking, 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24 1999, Proceedings, pp. 77-91, 1999, Springer, 3-540-66499-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
18 | Abdelillah Mokkedem, Michael J. Ferguson, Robert de B. Johnston |
A TLA Solution to the Specification and Verification of the RLP1 Retransmission Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997, Proceedings, pp. 398-417, 1997, Springer, 3-540-63533-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #60 of 60 (100 per page; Change: )
|
|