Search Results

Display Settings
Results per page: 10
Filter
  • 1-10 of  10 results for ""AXIOMS""

Your Filters

Filter by : Subject Publication : ieee transactions on software engineering
Reset filters
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Academic Journal

Combining Testing with Formal Specifications: A Case Study.

  • Source: IEEE Transactions on Software Engineering. May83, Vol. 9 Issue 3, p328-335. 8p. 1 Chart.

Record details

Read More Add to Saved list
×
Academic Journal

Response to: Comment on "Property-Based Software Engineering Measurement: Refining the Additive Properties".

  • Source: IEEE Transactions on Software Engineering. Mar97, Vol. 23 Issue 3, p196-197. 2p.

Record details

Read More Add to Saved list
×
Academic Journal

Comments on "Property-Based Software Engineering Measurement: Refining the Additivity Properties".

  • Source: IEEE Transactions on Software Engineering. Mar97, Vol. 23 Issue 3, p190-195. 6p.

Record details

Read More Add to Saved list
×
Academic Journal

Formalization of the Whole-Part Relationship in the Unified Modeling Language.

  • Source: IEEE Transactions on Software Engineering. May2003, Vol. 29 Issue 5, p459-470. 12p. 4 Black and White Photographs, 15 Diagrams, 1 Chart.

Record details

Read More Add to Saved list
×
Academic Journal

On the Frame Problem in Procedure Specifications.

  • Source: IEEE Transactions on Software Engineering. Oct95, Vol. 21 Issue 10, p785-798. 14p. 3 Color Photographs.

Record details

Read More Add to Saved list
×
Academic Journal

On the Adequacy of Weyuker's Test Data Adequacy Axioms.

  • Source: IEEE Transactions on Software Engineering. Apr89, Vol. 15 Issue 4, p496-500. 5p. 3 Diagrams.

Record details

Read More Add to Saved list
×
Academic Journal

Formal Specification of User Interfaces: A Comparison and Evaluation of Four Axiomatic Approaches.

  • Source: IEEE Transactions on Software Engineering. Aug85, Vol. 11 Issue 8, p671-685. 15p. 1 Color Photograph, 2 Diagrams.

Record details

Read More Add to Saved list
×
Academic Journal

Safe Data Type Specifications.

  • Source: IEEE Transactions on Software Engineering. May84, Vol. 10 Issue 3, p285-289. 5p. 1 Color Photograph.

Record details

Read More Add to Saved list
×
Academic Journal

Comments on "Towards a Framework for Software Measurement Validation".

  • Source: IEEE Transactions on Software Engineering. Mar97, Vol. 23 Issue 3, p187-188. 2p.

Record details

Read More Add to Saved list
×
Academic Journal

Reply to: Comments on "Towards a Framework for Software Measurement Validation".

  • Source: IEEE Transactions on Software Engineering. Mar97, Vol. 23 Issue 3, p189-189. 1p.

Record details

Read More Add to Saved list
×
  • 1-10 of  10 results for ""AXIOMS""