Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Conference

Parameterized Strategies Specification in Maude

Subjects: Rewriting logic; Strategies; MaudeEgham; United Kingdom

  • Source: Lecture Notes in Computer Science ; 24th International Workshop on Algebraic Development Techniques (WADT) ; https://hal.inria.fr/hal-02364577 ; 24th International Workshop on Algebraic Development

تفاصيل العنوان

×
Conference

Object-Oriented Approach for Requirements Specification

Subjects: [SPI]Engineering Sciences [physics]; [INFO]Computer Science [cs]Birmingham; United Kingdom

  • Source: Joint Proceedings of REFSQ-2022 Workshops, Doctoral Symposium, and Posters & Tools Track co-located with the 28th International Conference on Requirements Engineering: Foundation for Software Quality

تفاصيل العنوان

×
Academic Journal

Northamptonshire Healthcare NHS Foundation Trust V AB [2020] EWCOP 40-Mental Capacity and the Anorexic Patient in the Court of Protection: Understanding Values, Framing Matters and Specification of the Declaration.

  • Authors : Watkins MJB; Judging Values in Participation and Mental Capacity Law Project, Institute of Crime and Justice Policy, Birkbeck College, University of London, UK.

Subjects: Mental Competency* ; State Medicine*; Delivery of Health Care

  • Source: Medical law review [Med Law Rev] 2022 May 30; Vol. 30 (2), pp. 364-379.Publisher: Oxford University Press Country of Publication: England NLM ID: 9308945 Publication Model: Print Cited Medium: Internet ISSN:

تفاصيل العنوان

×
Conference

A hierarchical set of SysML Model-based objects for tolerance specification

Subjects: Geometry; Unified modeling language; Solid modelingEDINBURGH; United Kingdom

  • Source: Systems Engineering (ISSE), 2016 IEEE International Symposium ; https://hal.science/hal-01589589 ; Systems Engineering (ISSE), 2016 IEEE International Symposium, Oct 2016, EDINBURGH,

تفاصيل العنوان

×
Academic Journal

The end of the purpose-specification principle in data protection?

  • Source: International Review of Law, Computers & Technology. Mar2010, Vol. 24 Issue 1, p101-117. 17p.

تفاصيل العنوان

×
Academic Journal

The Effects of Appraisal Methodology on the Specification of Optimal Urban Transport Strategies.

  • Source: International Journal of Sustainable Transportation. Jan2008, Vol. 2 Issue 1, p58-75. 18p. 6 Charts.

تفاصيل العنوان

×
Academic Journal

Industrial robot specification.

  • Source: Computing & Control Engineering. Feb2007, Vol. 18 Issue 1, p20-24. 5p. 5 Color Photographs, 1 Diagram.

تفاصيل العنوان

×
  • 1-10 ل  998 نتائج ل ""specification""