يعرض 1 - 14 نتائج من 14 نتيجة بحث عن '"Non-functional concerns"', وقت الاستعلام: 0.47s تنقيح النتائج
  1. 1
    Academic Journal
  2. 2
    Book

    المساهمون: Bernhard Beckert, Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue, Aldinucci, Marco, Danelutto, Marco, Kilpatrick, Peter, Montangero, Carlo, Semini, Laura

    Relation: info:eu-repo/semantics/altIdentifier/isbn/978-3-642-35886-9; info:eu-repo/semantics/altIdentifier/isbn/978-3-642-35887-6; ispartofbook:Formal Methods for Components and Objects: Intl. Symposium, FMCO 2011, Torino, Italy, October 3-5, 2011, Revised Invited Lectures; volume:7542; firstpage:199; lastpage:217; numberofpages:19; serie:LECTURE NOTES IN COMPUTER SCIENCE; alleditors:Bernhard Beckert; Ferruccio Damiani; Frank S. de Boer; Marcello M. Bonsangue; http://hdl.handle.net/2318/1602808; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84883306174; http://dx.doi.org/10.1007/978-3-642-35887-6_11

  3. 3
  4. 4
  5. 5
  6. 6
  7. 7
    Academic Journal

    المصدر: Danelutto , M , Kilpatrick , P , Montangero , C & Semini , L 2012 , Model checking support for conflict resolution in multiple non-functional concern management . in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . PART 1 edn , vol. 7155 , Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) , no. PART 1 , vol. 7155 LNCS , pp. 128-138 , 17th Parallel Processing Workshops, Euro-Par 2011: CCPI 2011, CGWS 2011, HeteroPar 2011, HiBB 2011, HPCVirt ....

    Relation: urn:ISBN:9783642297366

  8. 8
  9. 9

    المساهمون: DeBoer, FS, Bonsangue, MM, Madelaine, E

    المصدر: Aldinucci, M, Danelutto, M & Kilpatrick, P 2008, Semi-formal Models to Support Program Development: Autonomic Management within Component Based Parallel and Distributed Programming . in F S DeBoer, M M Bonsangue & E Madelaine (eds), FORMAL METHODS FOR COMPONENTS AND OBJECTS . Lecture Notes in Computer Science, vol. 5751, Springer, BERLIN, pp. 204-225, Formal Methods for Components and Objects, 7th International Symposium, FMCO, Sophia Antipolis, France, 21/10/2008 . DOI: 10.1007/978-3-642-04167-9
    Formal Methods for Components and Objects ISBN: 9783642041662
    FMCO

    وصف الملف: application/pdf

  10. 10
    Academic Journal
  11. 11
    Academic Journal
  12. 12
    Academic Journal
  13. 13
    Academic Journal
  14. 14