11 - 16 out of 16Page size: 10
  1. 2019

  2. Seamless Object-Oriented Requirements

    Naumchev, A., Oct 2019, SIBIRCON 2019 - INTERNATIONAL MULTI-CONFERENCE ON ENGINEERING, COMPUTER AND INFORMATION SCIENCES, PROCEEDINGS. p. 743-748 6 p. (SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  3. AutoReq: Expressing and verifying requirements for control systems

    Naumchev, A., Meyer, B., Mazzara, M., Galinier, F., Bruel, J-M. & Ebersold, S., 1 Apr 2019, In: Journal of Computer Languages. 51, p. 131-142 142 p.

    Research output: Contribution to journal › Article › peer-review

  4. Seamless Object-Oriented Requirements. (Exigences orientées objets dans un cycle de vie continu)

    Naumchev, A., 2019

    Research output: Book/Report › Commissioned report › peer-review

  5. 2017

  6. Seamless requirements

    Naumchev, A. & Meyer, B., 1 Sept 2017, In: Computer Languages, Systems & Structures. 49, p. 119-132 14 p.

    Research output: Contribution to journal › Article › peer-review

  7. 2016

  8. Complete Contracts through Specification Drivers

    Naumchev, A. & Meyer, B., Jul 2016, PROCEEDINGS - 10TH INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, TASE 2016. p. 160-167

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  9. Unifying Requirements and Code: An Example

    Naumchev, A., Meyer, B. & Rivera, V., 28 Jun 2016, Unifying Requirements and Code: An Example. p. 233-244 18. (Perspectives of System Informatics; vol. 9609).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Research › peer-review

Previous 1 2 Next

ID: 60800994