Drilldown: references

Jump to: navigation, search

Choose a table:
acronyms (148)
references (162)

references > article

: “A Specifier’s Introduction to Formal Methods”

or Other

& publication

: T.H.-Report

or None

& date

: 1988

or 1996

or 1998

or Other

Click on the filter values below to narrow your results.

5 (2) · 6 (3) · 7 (3) · 8 (2) · 9 (2)

ABET Engineering Accreditation Commission (1) · Canadian Engineering Accreditation Board, Engineers Canada (1) · CMMI Product Team (3) · D. Gibson, D. Goldenson, and K. Kost (1) · E.W. Dijkstra (1) · IEEE (2) · IEEE CS/ACM Joint Task Force onSoftware Engineering Ethics and Professional Practices (1) · J.M. Wing (1) · L. Null and J. Lobur (1)

None (10) · 2nd ed. (1) · 70-WSE-03 (1)

None (1) · ABET (1) · Canadian Council of Professional Engineers (1) · Computer (1) · IEEE (2) · Jones and Bartlett Publishers (1) · Software Engineering Institute (4) · Technological University, Eindhoven (1)

None (11) · vol. 23, no. 9 (1)

None (11) · pp. 8, 10–23 (1)

None (4) · http://resources.sei.cmu.edu/library/asset-view.cfm?assetID=8065. (1) · http://resources.sei.cmu.edu/library/asset-view.cfm?assetID=9661 (3) · http://www.cs.utexas.edu/users/EWD/ewd02xx/EWD249.PDF (1) · www.abet.org/uploadedFiles/Accreditation/Accreditation Process/Accreditation Documents/Current/eaccriteria-2012-2013.pdf (1) · www.acm.org/serving/se/code.htm (1) · www.engineerscanada.ca/files/w Accreditation Criteria Procedures 2011.pdf (1)

Showing below up to 12 results in range #1 to #12.

View (previous 250 | next 250) (20 | 50 | 100 | 250 | 500)

C

C cont.

C cont.

View (previous 250 | next 250) (20 | 50 | 100 | 250 | 500)

Retrieved from "http://swebokwiki.org/Special:Drilldown/references"