Assertions in Modern Software Engineering Practice

Assertions in Modern Software Engineering Practice

書誌詳細
第一著者:	Hoare, C
フォーマット:	Conference item
出版事項:	IEEE 2002

類似資料

Assertions in Programming: From Scientific Theory to Engineering Practice
著者:: Hoare, C
出版事項: (2002)

Assertions in Programming: From Scientific Theory to Engineering Practice
著者:: Hoare, C
出版事項: (2002)

Assert Early‚ Assert Often
著者:: Hoare, C
出版事項: (2002)

Assertions
著者:: Hoare, C
出版事項: (2000)

Growing Use of Assertions
著者:: Hoare, C
出版事項: (2001)

Assertions: A Personal Perspective
著者:: Hoare, C
出版事項: (2001)

Assertions: A Personal Perspective
著者:: Hoare, C
出版事項: (2003)

Assertive community treatment in UK practice. Revisiting... Setting up an assertive community treatment team
著者:: Kent, A, 等
出版事項: (2005)

Software Engineering
著者:: Hoare, C
出版事項: (1978)

Software Engineering
著者:: Hoare, C
出版事項: (1975)

Software Engineering
著者:: Hoare, C
出版事項: (1976)

Assertive outreach
著者:: Firn, M, 等
出版事項: (2004)

AI assertion
著者:: Butlin, P, 等
出版事項: (2024)

Training for assertiveness /
著者:: 211338 Seifert, Lucy
出版事項: (1995)

Knowing and asserting
著者:: Williamson, T
出版事項: (1996)

An Education for the Software Engineer
著者:: Hoare, C
出版事項: (1982)

An Ideal of Software Engineering
著者:: Hoare, C
出版事項: (2015)

Asserting yourself: a practical guide for positive change/
著者:: 301558 Bower, Susan A.
出版事項: (1991)

Asserting yourself : a practical guide for positive change/
著者:: 304445 Bower, Sharon Anthony, 等
出版事項: (1984)

Developing positive assertiveness /
著者:: 240197 Lloyd, Sam R.
出版事項: (2002)

Performance assertion checking
著者:: Perl, Sharon Esther
出版事項: (2016)

Performance Assertion Checking
著者:: Perl, Sharon Esther
出版事項: (2023)

Non-sentential assertions
著者:: Stainton, Robert James Harold
出版事項: (2009)

Assertion and Epistemic Opacity
著者:: Hawthorne, J, 等
出版事項: (2010)

Formal Methods in Software Engineering
著者:: Hoare, C
出版事項: (1986)

The open future, bivalence and assertion
著者:: Besson, C, 等
出版事項: (2014)

SAW: the spatial assertion workbench
著者:: Calcagno, C, 等
出版事項: (2015)

The Engineering of Software: A Startling Contradiction
著者:: Hoare, C
出版事項: (1976)

Software Engineering: A Keynote Address
著者:: Hoare, C
出版事項: (1978)

Proving Atomicity: An Assertional Approach
著者:: Chockler, Gregory, 等
出版事項: (2005)

Conditional Propositions and Conditional Assertions
著者:: Stalnaker, Robert
出版事項: (2020)

Assertion, context, and epistemic accessibility
著者:: Hawthorne, J, 等
出版事項: (2009)

Assertion, Context, and Epistemic Accessibility
著者:: Hawthorne, J, 等
出版事項: (2009)

The complete idiot's guide to assertiveness /
著者:: 441750 Davidson, Jeffrey P.
出版事項: (1997)

Assertion, Lying and the Norm of Truth
著者:: Teichmann, R
出版事項: (2023)

Presupposition, assertion, and definite descriptions
著者:: Elbourne, P
出版事項: (2021)

The effect of group assertiveness training on the assertiveness and self concept levels of army female enlistees / [Mikrofilem]
著者:: 294405 Donald, Lizzie Tyson
出版事項: (1999)

Assertive outreach teams in London: models of operation. Pan-London Assertive Outreach Study, part 1.
著者:: Wright, C, 等
出版事項: (2003)

Assertive outreach teams in London: patient characteristics and outcomes. Pan-London Assertive Outreach Study, part 3.
著者:: Priebe, S, 等
出版事項: (2003)

Does assertibility satisfy the S4 axiom?
著者:: Williamson, T
出版事項: (1995)