BibSonomy :: user :: jpbowen :: myown

actions for all displayed bookmarks:

export:

RSS, BibTeX, XML

sort:

criterion: date, title
order: ascending, descending

others:

display: all, bookmarks only
bookmarks per page: 5 10 20 50 100

actions for all displayed publications:

export:

RSS, BibTeX, RDF, more...

sort:

criterion: date, title
order: ascending, descending
advanced...

others:

display: all, publications only
publications per page: 5 10 20 50 100

No matching items.

Select Z Bibliography.
Jonathan P. Bowen. ZUM, volume 1493 of Lecture Notes in Computer Science, page 367-406. Springer, (1998)
Jonathan P. Bowen. ZUM, volume 1493 of Lecture Notes in Computer Science, page 367-406. Springer, (1998)
a year and 10 months ago
by jpbowen
2
Z bibliography formal methods myown notation
(0)
URLDOITeX
Comp.specification.z and Z FORUM Frequently Asked Questions.
Jonathan P. Bowen. ZUM, volume 1212 of Lecture Notes in Computer Science, page 425-433. Springer, (1997)
Jonathan P. Bowen. ZUM, volume 1212 of Lecture Notes in Computer Science, page 425-433. Springer, (1997)
a year and 10 months ago
by jpbowen
2
Asked Comp.specification.z FAQ FORUM Frequently Questions Z formal methods myown notation
(0)
URLDOITeX
Select Z Bibliography.
Jonathan P. Bowen. ZUM, volume 1212 of Lecture Notes in Computer Science, page 391-424. Springer, (1997)
Jonathan P. Bowen. ZUM, volume 1212 of Lecture Notes in Computer Science, page 391-424. Springer, (1997)
a year and 10 months ago
by jpbowen
3
Z bibliography formal methods myown notation
(0)
URLDOITeX
Combining Operational Semantics, Logic Programming and Literate Programming in the Specification and Animation of the Verilog Hardware Description Language.
Jonathan P. Bowen. IFM, volume 1945 of Lecture Notes in Computer Science, page 277-296. Springer, (2000)
Jonathan P. Bowen. IFM, volume 1945 of Lecture Notes in Computer Science, page 277-296. Springer, (2000)
a year and 10 months ago
by jpbowen
2
Description HDL Hardware Language Verilog animation formal literate logic methods myown operational programming semantics specification
(0)
URLDOITeX
Towards Correct Executable Semantics for Z.
Peter T. Breuer, and Jonathan P. Bowen. Z User Workshop, page 185-209. (1994)
Peter T. Breuer, and Jonathan P. Bowen. Z User Workshop, page 185-209. (1994)
a year and 10 months ago
by jpbowen
2
Z correct executable formal methods myown notation semantics
(0)
URLDOITeX
Comp.specification.z and Z FORUM Frequently Asked Questions.
Jonathan P. Bowen. Z User Workshop, page 397-403. (1994)
Jonathan P. Bowen. Z User Workshop, page 397-403. (1994)
a year and 10 months ago
by jpbowen
2
Asked Comp.specification.z FAQ FORUM Frequently Questions Z formal methods myown notation
(0)
URLDOITeX
Select Z Bibliography.
Jonathan P. Bowen. Z User Workshop, page 359-396. (1994)
Jonathan P. Bowen. Z User Workshop, page 359-396. (1994)
a year and 10 months ago
by jpbowen
2
Z bibliography formal methods myown notation
(0)
URLDOITeX
Z and HOL.
Jonathan P. Bowen, and Michael J. C. Gordon. Z User Workshop, page 141-167. (1994)
Jonathan P. Bowen, and Michael J. C. Gordon. Z User Workshop, page 141-167. (1994)
a year and 10 months ago
by jpbowen
2
HOL Higher-Order Logic Z formal methods myown notation
(0)
URLDOITeX
An Animatable Operational Semantics of the Verilog Hardware Description Language.
Jonathan P. Bowen, Jifeng He, and Qiwen Xu. ICFEM, page 199-208. (2000)
Jonathan P. Bowen, Jifeng He, and Qiwen Xu. ICFEM, page 199-208. (2000)
a year and 10 months ago
by jpbowen
2
Description HDL Hardware Language Verilog animation formal methods myown operational semantics
(0)
URLDOITeX
Ten Commandments of Formal Methods.
Jonathan P. Bowen, and Michael G. Hinchey. IEEE Computer 28(4):56-63 (1995)
Jonathan P. Bowen, and Michael G. Hinchey. IEEE Computer 28(4):56-63 (1995)
a year and 10 months ago
by jpbowen
2
commandments engineering formal methods myown software ten
(0)
URLDOITeX
An Invitation to Formal Methods.
Jonathan P. Bowen, Ricky W. Butler, David L. Dill, Robert L. Glass, David Gries, Anthony Hall, Michael G. Hinchey, C. Michael Holloway, Daniel Jackson, Cliff B. Jones, Michael J. Lutz, David Lorge Parnas, John M. Rushby, Jeannette M. Wing, and Pamela Zave. IEEE Computer 29(4):16-30 (1996)
Jonathan P. Bowen, Ricky W. Butler, David L. Dill, Robert L. Glass, David Gries, Anthony Hall, Michael G. Hinchey, C. Michael Holloway, Daniel Jackson, Cliff B. Jones, Michael J. Lutz, David Lorge Parnas, John M. Rushby, Jeannette M. Wing, and Pamela Zave. IEEE Computer 29(4):16-30 (1996)
a year and 10 months ago
by jpbowen
2
engineering formal methods myown software
(0)
URLDOITeX
Seven More Myths of Formal Methods.
Jonathan P. Bowen, and Michael G. Hinchey. IEEE Software 12(4):34-41 (1995)
Jonathan P. Bowen, and Michael G. Hinchey. IEEE Software 12(4):34-41 (1995)
a year and 10 months ago
by jpbowen
4
engineering formal methods myown myths seven software
(0)
URLDOITeX
The Industrial Take-up of Formal Methods in Safety-Critical and Other Areas: A Perspective.
Jonathan P. Bowen, and Victoria Stavridou. FME, volume 670 of Lecture Notes in Computer Science, page 183-195. Springer, (1993)
Jonathan P. Bowen, and Victoria Stavridou. FME, volume 670 of Lecture Notes in Computer Science, page 183-195. Springer, (1993)
a year and 10 months ago
by jpbowen
2
formal industrial methods myown safety-critical standards systems
(0)
URLDOITeX
From Programs to Object Code using Logic and Logic Programming.
Jonathan P. Bowen. Code Generation, page 173-192. (1991)
Jonathan P. Bowen. Code Generation, page 173-192. (1991)
a year and 10 months ago
by jpbowen
2
Prolog code compilation formal logic methods myown object programming programs
(0)
URLDOITeX
The use of industrial-strength formal methods.
Jonathan P. Bowen, and Michael G. Hinchey. COMPSAC, page 332-337. IEEE Computer Society, (1997)
Jonathan P. Bowen, and Michael G. Hinchey. COMPSAC, page 332-337. IEEE Computer Society, (1997)
a year and 10 months ago
by jpbowen
2
engineering formal industrial-strength methods myown software
(0)
URLDOITeX
Select Z Bibliography.
Jonathan P. Bowen. Z User Workshop, page 309-341. Springer, (1992)
Jonathan P. Bowen. Z User Workshop, page 309-341. Springer, (1992)
a year and 10 months ago
by jpbowen
2
Z bibliography formal methods myown notation
(0)
URLDOITeX
Comp.specification.z and Z FORUM Frequently Asked Questions.
Jonathan P. Bowen. Z User Workshop, page 342-347. Springer, (1992)
Jonathan P. Bowen. Z User Workshop, page 342-347. Springer, (1992)
a year and 10 months ago
by jpbowen
2
Asked Comp.specification.z FAQ FORUM Frequently Questions Z formal methods myown notation
(0)
URLDOITeX
Select Z Bibliography and Frequently Asked Questions.
Jonathan P. Bowen. Z User Workshop, page 367-401. Springer, (1991)
Jonathan P. Bowen. Z User Workshop, page 367-401. Springer, (1991)
a year and 10 months ago
by jpbowen
2
Asked FAQ Frequently Questions Z bibliography myown notation
(0)
URLDOITeX
PRG Archive Server.
Jonathan P. Bowen. Z User Workshop, page 379-379. Springer, (1990)
Jonathan P. Bowen. Z User Workshop, page 379-379. Springer, (1990)
a year and 10 months ago
by jpbowen
2
Computing Group Laboratory Oxford PRG Programming Research University Z archive formal methods myown notation server
(0)
URLDOITeX
Selected Z Bibliography.
Jonathan P. Bowen. Z User Workshop, page 353-373. Springer, (1990)
Jonathan P. Bowen. Z User Workshop, page 353-373. Springer, (1990)
a year and 10 months ago
by jpbowen
2
Z bibliography formal methods myown notation
(0)
URLDOITeX
Z FORUM Electronic Mailing List.
Jonathan P. Bowen. Z User Workshop, page 378-378. Springer, (1990)
Jonathan P. Bowen. Z User Workshop, page 378-378. Springer, (1990)
a year and 10 months ago
by jpbowen
2
FORUM Z electronic formal list mailing methods myown notation
(0)
URLDOITeX
Towards a Provably Correct Hardware Implementation of Occam.
Jifeng He, Ian Page, and Jonathan P. Bowen. CHARME, volume 683 of Lecture Notes in Computer Science, page 214-225. Springer, (1993)
Jifeng He, Ian Page, and Jonathan P. Bowen. CHARME, volume 683 of Lecture Notes in Computer Science, page 214-225. Springer, (1993)
a year and 10 months ago
by jpbowen
2
Occam correctness formal hardware implementation methods myown provability
(0)
URLDOITeX
Deriving Operational Semantics from Denotational Semantics for Verilog.
Huibiao Zhu, Jonathan P. Bowen, and Jifeng He. APSEC, page 177-. IEEE Computer Society, (2001)
Huibiao Zhu, Jonathan P. Bowen, and Jifeng He. APSEC, page 177-. IEEE Computer Society, (2001)
a year and 10 months ago
by jpbowen
2
Verilog denotational derivation formal methods myown operational semantics
(0)
URLDOITeX
Reasoning about VHDL and VHDL-AMS using Denotational Semantics.
Peter T. Breuer, Natividad Martínez Madrid, Jonathan P. Bowen, Robert B. France, Maria M. Larrondo-Petrie, and Carlos Delgado Kloos. DATE, page 346-352. IEEE Computer Society, (1999)
Peter T. Breuer, Natividad Martínez Madrid, Jonathan P. Bowen, Robert B. France, Maria M. Larrondo-Petrie, and Carlos Delgado Kloos. DATE, page 346-352. IEEE Computer Society, (1999)
a year and 10 months ago
by jpbowen
2
VHDL VHDL-AMS denotational description formal hardware language methods myown reasoning semantics
(0)
URLDOITeX
The Ethics of Safety-Critical Systems.
Jonathan P. Bowen. Commun. ACM 43(4):91-97 (2000)
Jonathan P. Bowen. Commun. ACM 43(4):91-97 (2000)
a year and 10 months ago
by jpbowen
2
ethics formal methods myown safety-critical standards systems
(0)
URLDOITeX
A PREttier Compiler-Compiler: Generating Higher-order Parsers in C.
Peter T. Breuer, and Jonathan P. Bowen. Softw., Pract. Exper. 25(11):1263-1297 (1995)
Peter T. Breuer, and Jonathan P. Bowen. Softw., Pract. Exper. 25(11):1263-1297 (1995)
a year and 10 months ago
by jpbowen
2
C Compiler-Compiler PRECC PREttier formal higher-order language methods myown parser programming
(0)
URLDOITeX
Specification, Verification and Prototyping of an Optimized Compiler.
Jifeng He, and Jonathan P. Bowen. Formal Asp. Comput. 6(6):643-658 (1994)
Jifeng He, and Jonathan P. Bowen. Formal Asp. Comput. 6(6):643-658 (1994)
a year and 10 months ago
by jpbowen
2
compiler formal methods myown optimization prototyping specification verification
(0)
URLDOITeX
Tolerance of Control-Flow Testing Criteria.
Sergiy A. Vilkomir, Kalpesh Kapoor, and Jonathan P. Bowen. COMPSAC, page 182-187. IEEE Computer Society, (2003)
Sergiy A. Vilkomir, Kalpesh Kapoor, and Jonathan P. Bowen. COMPSAC, page 182-187. IEEE Computer Society, (2003)
a year and 10 months ago
by jpbowen
3
control-flow criteria engineering formal methods myown software testing tolerance
(0)
URLDOITeX
Design of a Simple Cambridge Ring Interface Adapter.
Jonathan P. Bowen. Comput. Syst. Sci. Eng. 1(2):93-98 (1986)
Jonathan P. Bowen. Comput. Syst. Sci. Eng. 1(2):93-98 (1986)
a year and 10 months ago
by jpbowen
2
Cambridge Ring adapter design electronic engineering interface myown network
(0)
URLDOITeX
X: Why Z?
Jonathan P. Bowen. Comput. Graph. Forum 11(4):221-234 (1992)
Jonathan P. Bowen. Comput. Graph. Forum 11(4):221-234 (1992)
a year and 10 months ago
by jpbowen
2
X Z formal methods myown notation system window windows
(0)
URLDOITeX
Decompilation is the Efficient Enumeration of Types.
Peter T. Breuer, and Jonathan P. Bowen. WSA, page 255-273. (1992)
Peter T. Breuer, and Jonathan P. Bowen. WSA, page 255-273. (1992)
a year and 10 months ago
by jpbowen
2
decompilation efficient enumeration formal methods myown type
(0)
URLDOITeX
Experimental Evaluation of the Variation in Effectiveness for DC, FPC and MC/DC Test Criteria.
Kalpesh Kapoor, and Jonathan P. Bowen. ISESE, page 185-194. IEEE Computer Society, (2003)
Kalpesh Kapoor, and Jonathan P. Bowen. ISESE, page 185-194. IEEE Computer Society, (2003)
a year and 10 months ago
by jpbowen
2
DC FPC MC/DC criteria effectiveness engineering evaluation experimentation formal methods myown software test testing variation
(0)
URLDOITeX
Ordering Mutants to Minimise Test Effort in Mutation Testing.
Kalpesh Kapoor, and Jonathan P. Bowen. FATES, volume 3395 of Lecture Notes in Computer Science, page 195-209. Springer, (2004)
Kalpesh Kapoor, and Jonathan P. Bowen. FATES, volume 3395 of Lecture Notes in Computer Science, page 195-209. Springer, (2004)
a year and 10 months ago
by jpbowen
2
engineering formal methods mutants mutation myown software test testing
(0)
URLDOITeX
Semantics of RTL and Validation of Synthesized RTL Designs Using Formal Verification in Reconfigurable Computing Systems.
Phan C. Vinh, and Jonathan P. Bowen. ECBS, page 247-254. IEEE Computer Society, (2005)
Phan C. Vinh, and Jonathan P. Bowen. ECBS, page 247-254. IEEE Computer Society, (2005)
a year and 10 months ago
by jpbowen
2
RTL computing design formal methods myown reconfigurable semantics synthesis system validation verification
(0)
URLDOITeX
On the Visual Representation of Configuration in Reconfigurable Computing.
Phan C. Vinh, and Jonathan P. Bowen. Electr. Notes Theor. Comput. Sci. (2004)
Phan C. Vinh, and Jonathan P. Bowen. Electr. Notes Theor. Comput. Sci. (2004)
a year and 10 months ago
by jpbowen
2
computing configuration formal methods myown reconfigurable representation visual
(0)
URLDOITeX
A formal analysis of MCDC and RCDC test criteria.
Kalpesh Kapoor, and Jonathan P. Bowen. Softw. Test., Verif. Reliab. 15(1):21-40 (2005)
Kalpesh Kapoor, and Jonathan P. Bowen. Softw. Test., Verif. Reliab. 15(1):21-40 (2005)
a year and 10 months ago
by jpbowen
3
MC/DC RC/DC analysis criteria engineering formal methods myown software test testing
(0)
URLDOITeX
Experimental evaluation of the tolerance for control-flow test criteria.
Kalpesh Kapoor, and Jonathan P. Bowen. Softw. Test., Verif. Reliab. 14(3):167-187 (2004)
Kalpesh Kapoor, and Jonathan P. Bowen. Softw. Test., Verif. Reliab. 14(3):167-187 (2004)
a year and 10 months ago
by jpbowen
2
control-flow criteria engineering evaluation experimentation formal methods myown software test testing tolerance
(0)
URLDOITeX
Distributed computing software project.
Roger B. Gimson, Jonathan P. Bowen, and Tim Gleeson. ACM SIGOPS European Workshop, ACM, (1986)
Roger B. Gimson, Jonathan P. Bowen, and Tim Gleeson. ACM SIGOPS European Workshop, ACM, (1986)
a year and 10 months ago
by jpbowen
2
Z computing distributed engineering formal methods myown notation project software
(0)
URLDOITeX
An algorithmic approach by heuristics to dynamical reconfiguration of logic resources on reconfigurable FPGAs.
Phan C. Vinh, and Jonathan P. Bowen. FPGA, page 254. ACM, (2004)
Phan C. Vinh, and Jonathan P. Bowen. FPGA, page 254. ACM, (2004)
a year and 10 months ago
by jpbowen
2
FPGA algorithm dynamic formal heuristics logic methods myown reconfigurable reconfiguration
(0)
URLDOITeX
Decompilation: The Enumeration of Types and Grammars.
Peter T. Breuer, and Jonathan P. Bowen. ACM Trans. Program. Lang. Syst. 16(5):1613-1647 (1994)
Peter T. Breuer, and Jonathan P. Bowen. ACM Trans. Program. Lang. Syst. 16(5):1613-1647 (1994)
a year and 10 months ago
by jpbowen
3
decompilation enumeration formal grammar methods myown type
(0)
URLDOITeX
Ten Commandments of Formal Methods ...Ten Years Later.
Jonathan P. Bowen, and Michael G. Hinchey. IEEE Computer 39(1):40-48 (2006)
Jonathan P. Bowen, and Michael G. Hinchey. IEEE Computer 39(1):40-48 (2006)
a year and 10 months ago
by jpbowen
4
commandments engineering formal methods myown software ten
(0)
URLDOITeX
From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria.
Sergiy A. Vilkomir, and Jonathan P. Bowen. Formal Asp. Comput. 18(1):42-62 (2006)
Sergiy A. Vilkomir, and Jonathan P. Bowen. Formal Asp. Comput. 18(1):42-62 (2006)
a year and 10 months ago
by jpbowen
2
MC/DC RC/DC analysis control-flow criteria engineering formal formalization methods myown software testing
(0)
URLDOITeX
Reviews.
Jonathan P. Bowen, Tim Bergin, and Christopher H. Sterling. IEEE Annals of the History of Computing 28(2):77-80 (2006)
Jonathan P. Bowen, Tim Bergin, and Christopher H. Sterling. IEEE Annals of the History of Computing 28(2):77-80 (2006)
a year and 10 months ago
by jpbowen
2
computing history myown review
(0)
URLDOITeX
A Provable Algorithm for Reconfiguration in Embedded Reconfigurable Computing.
Phan C. Vinh, and Jonathan P. Bowen. SEW, page 245-252. IEEE Computer Society, (2005)
Phan C. Vinh, and Jonathan P. Bowen. SEW, page 245-252. IEEE Computer Society, (2005)
a year and 10 months ago
by jpbowen
2
algorithm computing embedded formal methods myown provability reconfigurable reconfiguration
(0)
URLDOITeX
Integrating Probability with Time and Shared-Variable Concurrency.
Huibiao Zhu, Shengchao Qin, Jifeng He, and Jonathan P. Bowen. SEW, page 179-189. IEEE Computer Society, (2006)
Huibiao Zhu, Shengchao Qin, Jifeng He, and Jonathan P. Bowen. SEW, page 179-189. IEEE Computer Society, (2006)
a year and 10 months ago
by jpbowen
2
concurrency formal integration methods myown probability shared-variable time
(0)
URLDOITeX
A Formal Approach to Aspect-Oriented Modular Reconfigurable Computing.
Phan C. Vinh, and Jonathan P. Bowen. TASE, page 369-378. IEEE Computer Society, (2007)
Phan C. Vinh, and Jonathan P. Bowen. TASE, page 369-378. IEEE Computer Society, (2007)
a year and 10 months ago
by jpbowen
2
aspect-oriented computing formal methods modularity myown reconfigurable
(0)
URLDOITeX
From Algebraic Semantics to Denotational Semantics for Verilog.
Huibiao Zhu, Jifeng He, and Jonathan P. Bowen. ICECCS, page 139-151. IEEE Computer Society, (2006)
Huibiao Zhu, Jifeng He, and Jonathan P. Bowen. ICECCS, page 139-151. IEEE Computer Society, (2006)
a year and 10 months ago
by jpbowen
2
Verilog algebraic denotational formal methods myown semantics
(0)
URLDOITeX
FORTEST: Formal Methods and Testing.
Jonathan P. Bowen, Kirill Bogdanov, John A. Clark, Mark Harman, Robert M. Hierons, and Paul Krause. COMPSAC, page 91-104. IEEE Computer Society, (2002)
Jonathan P. Bowen, Kirill Bogdanov, John A. Clark, Mark Harman, Robert M. Hierons, and Paul Krause. COMPSAC, page 91-104. IEEE Computer Society, (2002)
a year and 10 months ago
by jpbowen
3
FORTEST engineering formal methods myown software testing
(0)
URLDOITeX
Formalization of Software Testing Criteria using the Z Notation.
Sergiy A. Vilkomir, and Jonathan P. Bowen. COMPSAC, page 351-356. IEEE Computer Society, (2001)
Sergiy A. Vilkomir, and Jonathan P. Bowen. COMPSAC, page 351-356. IEEE Computer Society, (2001)
a year and 10 months ago
by jpbowen
2
Z criteria formal formalization methods myown notation software testing
(0)
URLDOITeX
Test conditions for fault classes in Boolean specifications.
Kalpesh Kapoor, and Jonathan P. Bowen. ACM Trans. Softw. Eng. Methodol. (2007)
Kalpesh Kapoor, and Jonathan P. Bowen. ACM Trans. Softw. Eng. Methodol. (2007)
a year and 10 months ago
by jpbowen
2
Boolean Test class condition fault formal methods myown specification
(0)
URLDOITeX
Algebraic Approach to Linking the Semantics of Web Services.
Huibiao Zhu, Jifeng He, Jing Li, and Jonathan P. Bowen. SEFM, page 315-328. IEEE Computer Society, (2007)
Huibiao Zhu, Jifeng He, Jing Li, and Jonathan P. Bowen. SEFM, page 315-328. IEEE Computer Society, (2007)
a year and 10 months ago
by jpbowen
2
algebraic formal methods myown semantics services web
(0)
URLDOITeX
Formalization and assessment of regulatory requirements for safety-critical software.
Sergiy A. Vilkomir, Jonathan P. Bowen, and Aditya K. Ghose. ISSE 2(3-4):165-178 (2006)
Sergiy A. Vilkomir, Jonathan P. Bowen, and Aditya K. Ghose. ISSE 2(3-4):165-178 (2006)
a year and 10 months ago
by jpbowen
2
assessment formal formalization methods myown regulation requirements safety-critical software standards
(0)
URLDOITeX
Continuity aspects of embedded reconfigurable computing.
Phan C. Vinh, and Jonathan P. Bowen. ISSE 1(1):41-53 (2005)
Phan C. Vinh, and Jonathan P. Bowen. ISSE 1(1):41-53 (2005)
a year and 10 months ago
by jpbowen
2
computing continuity embedded formal methods myown reconfigurable
(0)
URLDOITeX
Copyright and Promotion: Oxymoron or Opportunity?
Teresa Numerico, and Jonathan P. Bowen. CoRR (2005)informal publication.
Teresa Numerico, and Jonathan P. Bowen. CoRR (2005)informal publication.
a year and 10 months ago
by jpbowen
2
copyright myown online philosophy promotion web
(0)
URLDOITeX
Can Small Museums Develop Compelling, Educational and Accessible Web Resources? The Case of Accademia Carrara
Silvia Filippini-Fantoni, and Jonathan P. Bowen. CoRR (2005)informal publication.
Silvia Filippini-Fantoni, and Jonathan P. Bowen. CoRR (2005)informal publication.
a year and 10 months ago
by jpbowen
2
Accademia Carrara accessibility education museum myown personalization small web
(0)
URLDOITeX
The Building of Online Communities: An approach for learning organizations, with a particular focus on the museum sector
Alpay Beler, Ann Borda, Jonathan P. Bowen, and Silvia Filippini-Fantoni. CoRR (2004)informal publication.
Alpay Beler, Ann Borda, Jonathan P. Bowen, and Silvia Filippini-Fantoni. CoRR (2004)informal publication.
a year and 10 months ago
by jpbowen
2
community education learning museum myown online organization web
(0)
URLDOITeX
Disabled Access for Museum Websites
Jonathan P. Bowen. CoRR (2003)informal publication.
Jonathan P. Bowen. CoRR (2003)informal publication.
a year and 10 months ago
by jpbowen
3
accessibility disabled museum myown people website
(0)
URLDOITeX
Web Access to Cultural Heritage for the Disabled
Jonathan P. Bowen. CoRR (2003)informal publication.
Jonathan P. Bowen. CoRR (2003)informal publication.
a year and 10 months ago
by jpbowen
2
Web Wide World accessibility culture disabled heritage museumsd myown people
(0)
URLDOITeX
Algebraic Approach to Operational Semantics and Observation-Oriented Semantics for a Timed Shared-Variable Language with Probability.
Huibiao Zhu, Jifeng He, and Jonathan P. Bowen. SEW, page 131-143. IEEE Computer Society, (2007)
Huibiao Zhu, Jifeng He, and Jonathan P. Bowen. SEW, page 131-143. IEEE Computer Society, (2007)
a year and 10 months ago
by jpbowen
2
Algebraic Approach Language Observation-Oriented Operational Probability Semantics Shared-Variable Timed and formal methods myown to
(0)
URLDOITeX
Formal Models and the Specification Process.
Jonathan P. Bowen, and Michael G. Hinchey. The Computer Science and Engineering Handbook, CRC Press, (1997)
Jonathan P. Bowen, and Michael G. Hinchey. The Computer Science and Engineering Handbook, CRC Press, (1997)
a year and 10 months ago
by jpbowen
2
engineering formal methods models myown process software specification
(0)
URLDOITeX
From MC/DC to RC/DC: Formalization and Analysis of Control-Flow Testing Criteria.
Sergiy A. Vilkomir, and Jonathan P. Bowen. Formal Methods and Testing, volume 4949 of Lecture Notes in Computer Science, page 240-270. Springer, (2008)
Sergiy A. Vilkomir, and Jonathan P. Bowen. Formal Methods and Testing, volume 4949 of Lecture Notes in Computer Science, page 240-270. Springer, (2008)
a year and 10 months ago
by jpbowen
2
Analysis Control-Flow Criteria Formalization MC/DC RC/DC: Testing engineering formal methods myown software to
(0)
URLDOITeX
Formalization of Data Flow Computing and a Coinductive Approach to Verifying Flowware Synthesis.
Phan C. Vinh, and Jonathan P. Bowen. Transactions on Computational Science (2008)
Phan C. Vinh, and Jonathan P. Bowen. Transactions on Computational Science (2008)
a year and 10 months ago
by jpbowen
2
Coinductive Computing Data Flow Flowware Formalization Synthesis Verification formal methods myown
(0)
URLDOITeX
Introduction to Formal Methods
Michael G. Hinchey, Jonathan Bowen, and Christopher Rouff. (2006)
Michael G. Hinchey, Jonathan Bowen, and Christopher Rouff. (2006)
a year and 10 months ago
by jpbowen
2
engineering formal methods myown software
(0)
URL DOI TeX
Using formal specifications to support testing.
Robert M. Hierons, Kirill Bogdanov, Jonathan P. Bowen, Rance Cleaveland, John Derrick, Jeremy Dick, Marian Gheorghe, Mark Harman, Kalpesh Kapoor, Paul Krause, Gerald Lüttgen, Anthony J. H. Simons, Sergiy A. Vilkomir, Martin R. Woodward, and Hussein Zedan. ACM Comput. Surv. (2009)
Robert M. Hierons, Kirill Bogdanov, Jonathan P. Bowen, Rance Cleaveland, John Derrick, Jeremy Dick, Marian Gheorghe, Mark Harman, Kalpesh Kapoor, Paul Krause, Gerald Lüttgen, Anthony J. H. Simons, Sergiy A. Vilkomir, Martin R. Woodward, and Hussein Zedan. ACM Comput. Surv. (2009)
a year and 10 months ago
by jpbowen
2
engineering formal methods myown software specifications support testing
(0)
URLDOITeX
From Operational Semantics to Denotational Semantics for Verilog
Zhu Huibiao, Jonathan Bowen, and He Jifeng. (2001)
Zhu Huibiao, Jonathan Bowen, and He Jifeng. (2001)
a year and 10 months ago
by jpbowen
2
Verilog denotational formal methods myown operational semantics
(0)
URL DOI TeX
Ten commandments of formal methods... ten years later
Jonathan Bowen, and Michael G. Hinchey. Computer 39(1):40--48 (2006)
Jonathan Bowen, and Michael G. Hinchey. Computer 39(1):40--48 (2006)
a year and 10 months ago
by jpbowen
4
commandments engineering formal methods myown software ten
(0)
URL DOI TeX
Deriving operational semantics from denotational semantics for Verilog
Zhu Huibiao, Jonathan Bowen, and He Jifeng. page 177--184. (2001)
Zhu Huibiao, Jonathan Bowen, and He Jifeng. page 177--184. (2001)
a year and 10 months ago
by jpbowen
2
Verilog denotational derivation formal methods myown operational semantics
(0)
URL DOI TeX
Seven More Myths of Formal Methods.
Jonathan P. Bowen, and Michael G. Hinchey. FME, volume 873 of Lecture Notes in Computer Science, page 105-117. Springer, (1994)
Jonathan P. Bowen, and Michael G. Hinchey. FME, volume 873 of Lecture Notes in Computer Science, page 105-117. Springer, (1994)
a year and 10 months ago
by jpbowen
2
engineering formal methods myown myths software
(0)
URLDOITeX
An Approach to Verifiable Compiling Specification and Prototyping.
Jonathan P. Bowen, Jifeng He, and Paritosh K. Pandya. PLILP, volume 456 of Lecture Notes in Computer Science, page 45-59. Springer, (1990)
Jonathan P. Bowen, Jifeng He, and Paritosh K. Pandya. PLILP, volume 456 of Lecture Notes in Computer Science, page 45-59. Springer, (1990)
a year and 10 months ago
by jpbowen
2
Compilation Prototyping Specification Verification formal methods myown
(0)
URLDOITeX
Formal Versus Agile: Survival of the Fittest.
Sue Black, Paul Boca, Jonathan P. Bowen, Jason Gorman, and Mike Hinchey. IEEE Computer 42(9):37-45 (2009)
Sue Black, Paul Boca, Jonathan P. Bowen, Jason Gorman, and Mike Hinchey. IEEE Computer 42(9):37-45 (2009)
a year and 10 months ago
by jpbowen
5
agile engineering formal methods myown software
(0)
URLDOITeX
Software engineering and formal methods
Mike Hinchey, Michael Jackson, Patrick Cousot, Byron Cook, Jonathan P. Bowen, and Tiziana Margaria. Commun. ACM 51(9):54--59 (2008)
Mike Hinchey, Michael Jackson, Patrick Cousot, Byron Cook, Jonathan P. Bowen, and Tiziana Margaria. Commun. ACM 51(9):54--59 (2008)
a year and 10 months ago
by jpbowen
6
engineering formal methods myown software
(0)
URLDOI TeX
Ten Commandments Ten Years On: Lessons for ASM, B, Z and VSR-net.
Jonathan P. Bowen, and Michael G. Hinchey. Rigorous Methods for Software Construction and Analysis, volume 5115 of Lecture Notes in Computer Science, page 219-233. Springer, (2009)
Jonathan P. Bowen, and Michael G. Hinchey. Rigorous Methods for Software Construction and Analysis, volume 5115 of Lecture Notes in Computer Science, page 219-233. Springer, (2009)
a year and 10 months ago
by jpbowen
2
ASM B-method Commandments Ten VSR-net Z formal lessons methods myown notation
(0)
URLDOITeX
Z Logic and its Consequences.
Martin C. Henson, Steve Reeves, and Jonathan P. Bowen. Computers and Artificial Intelligence 22(3-4):381-415 (2003)
Martin C. Henson, Steve Reeves, and Jonathan P. Bowen. Computers and Artificial Intelligence 22(3-4):381-415 (2003)
a year and 10 months ago
by jpbowen
3
Z formal logic methods myown notation
(0)
URLDOITeX
Formal Requirements Specification.
Jonathan P. Bowen, Mike Hinchey, and Emil Vassev. Encyclopedia of Software Engineering, Taylor & Francis, (2010)
Jonathan P. Bowen, Mike Hinchey, and Emil Vassev. Encyclopedia of Software Engineering, Taylor & Francis, (2010)
a year and 10 months ago
by jpbowen
2
engineering formal methods myown requirements software specification
(0)
URLDOITeX
Formal Methods.
Mike Hinchey, Jonathan P. Bowen, and Emil Vassev. Encyclopedia of Software Engineering, Taylor & Francis, (2010)
Mike Hinchey, Jonathan P. Bowen, and Emil Vassev. Encyclopedia of Software Engineering, Taylor & Francis, (2010)
a year and 10 months ago
by jpbowen
2
engineering formal methods myown software
(0)
URLDOITeX
An Approach to the Specification and Verification of a Hardware Compilation Scheme.
Jonathan P. Bowen, and Jifeng He. The Journal of Supercomputing 19(1):23-39 (2001)
Jonathan P. Bowen, and Jifeng He. The Journal of Supercomputing 19(1):23-39 (2001)
a year and 10 months ago
by jpbowen
2
Compilation Hardware Specification Verification formal methods myown
(0)
URLDOITeX
Z on the Web Using Java.
Jonathan P. Bowen, and David Chippington. ZUM, volume 1493 of Lecture Notes in Computer Science, page 66-80. Springer, (1998)
Jonathan P. Bowen, and David Chippington. ZUM, volume 1493 of Lecture Notes in Computer Science, page 66-80. Springer, (1998)
a year and 10 months ago
by jpbowen
2
- Java
- Web
- Wide
- World
- Z
- formal
- methods
- myown
- notation
Java Web Wide World Z formal methods myown notation
(0)
URLDOITeX
Select Z Bibliography.
Jonathan P. Bowen. ZUM, volume 967 of Lecture Notes in Computer Science, page 527-560. Springer, (1995)
Jonathan P. Bowen. ZUM, volume 967 of Lecture Notes in Computer Science, page 527-560. Springer, (1995)
a year and 10 months ago
by jpbowen
3
Z bibliography formal methods myown notation
(0)
URLDOITeX
Comp.specification.z and Z FORUM Frequently Asked Questions.
Jonathan P. Bowen. ZUM, volume 967 of Lecture Notes in Computer Science, page 561-569. Springer, (1995)
Jonathan P. Bowen. ZUM, volume 967 of Lecture Notes in Computer Science, page 561-569. Springer, (1995)
a year and 10 months ago
by jpbowen
2
Asked Comp.specification.z FORUM Frequently Questions Z formal methods myown notation
(0)
URLDOITeX
From Operational Semantics to Denotational Semantics for Verilog.
Huibiao Zhu, Jonathan P. Bowen, and Jifeng He. CHARME, volume 2144 of Lecture Notes in Computer Science, page 449-466. Springer, (2001)
Huibiao Zhu, Jonathan P. Bowen, and Jifeng He. CHARME, volume 2144 of Lecture Notes in Computer Science, page 449-466. Springer, (2001)
a year and 10 months ago
by jpbowen
2
denotational formal methods myown operational semantics verilog
(0)
URLDOITeX
From a Community of Practice to a Body of Knowledge: A Case Study of the Formal Methods Community.
Jonathan P. Bowen, and Steve Reeves. FM, volume 6664 of Lecture Notes in Computer Science, page 308-322. Springer, (2011)
Jonathan P. Bowen, and Steve Reeves. FM, volume 6664 of Lecture Notes in Computer Science, page 308-322. Springer, (2011)
a year and 10 months ago
by jpbowen
2
Z body case community formal knowledge methods myown notation practice study
(0)
URLDOITeX
Reinforced Condition/Decision Coverage RC/DC: A New Criterion for Software Testing.
Sergiy A. Vilkomir, and Jonathan P. Bowen. ZB, volume 2272 of Lecture Notes in Computer Science, page 291-308. Springer, (2002)
Sergiy A. Vilkomir, and Jonathan P. Bowen. ZB, volume 2272 of Lecture Notes in Computer Science, page 291-308. Springer, (2002)
a year and 10 months ago
by jpbowen
2
Condition/Decision Coverage Criterion RC/DC Reinforced Software Testing formal methods myown
(0)
URLDOITeX
Soundness, Completeness and Non-redundancy of Operational Semantics for Verilog Based on Denotational Semantics.
Huibiao Zhu, Jonathan P. Bowen, and Jifeng He. ICFEM, volume 2495 of Lecture Notes in Computer Science, page 600-612. Springer, (2002)
Huibiao Zhu, Jonathan P. Bowen, and Jifeng He. ICFEM, volume 2495 of Lecture Notes in Computer Science, page 600-612. Springer, (2002)
a year and 10 months ago
by jpbowen
2
Verilog completeness denotational formal methods myown non-redundancy operational semantics soundness
(0)
URLDOITeX
⟨⟨⟨1⟩⟩⟩

BibSonomy is offered by the KDE group of the University of Kassel, the DMIR group of the University of Würzburg, and the L3S Research Center, Germany. Privacy & Terms of Use - Contact