Dissertation/ Thesis
Προβολή σε EDS

Formal support for QVT-Relations with Coloured Petri nets

Λεπτομέρειες βιβλιογραφικής εγγραφής
Τίτλος: Formal support for QVT-Relations with Coloured Petri nets
Thesis Advisors: UAM. Departamento de Ingeniería Informática, Herramientas Interactivas Avanzadas (ING EPS-003)
Πηγή: Model Driven Engineering Languages and Systems: 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings. Lecture Notes in Computer Science, Volumen 5795. Springer 2009. 256-270
978-3-642-04424-3 (print)
978-3-642-04425-0 (online)
0302-9743 (print)
1611-3349 (online)
256
270
5795
Στοιχεία εκδότη: Springer Berlin Heidelberg.
Θεματικοί όροι: Software Engineering, Programming Techniques, Programming Languages, Compilers, Interpreters, Computer System Implementation, Management of Computing and Information Systems, Informática
ISBN: 978-3-642-04424-3
978-3-642-04425-0
3-642-04424-7
3-642-04425-5
DOI: 10.1007/978-3-642-04425-0_19
Σύνδεσμος πρόσβασης: http://hdl.handle.net/10486/664379
Αριθμός Καταχώρησης: edstdx.10486.664379
Βάση Δεδομένων: TDX
FullText Text:
  Availability: 0
CustomLinks:
  – Url: http://hdl.handle.net/10486/664379#
    Name: EDS - TDX (ns324271)
    Category: fullText
    Text: View record in TDX
Header DbId: edstdx
DbLabel: TDX
An: edstdx.10486.664379
RelevancyScore: 1170
AccessLevel: 3
PubType: Dissertation/ Thesis
PubTypeId: dissertation
PreciseRelevancyScore: 1170
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Formal support for QVT-Relations with Coloured Petri nets
– Name: Author
  Label: Thesis Advisors
  Group: Au
  Data: UAM. Departamento de Ingeniería Informática<br />Herramientas Interactivas Avanzadas (ING EPS-003)
– Name: TitleSource
  Label: Source
  Group: Src
  Data: Model Driven Engineering Languages and Systems: 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings. Lecture Notes in Computer Science, Volumen 5795. Springer 2009. 256-270<br />978-3-642-04424-3 (print)<br />978-3-642-04425-0 (online)<br />0302-9743 (print)<br />1611-3349 (online)<br />256<br />270<br />5795
– Name: Publisher
  Label: Publisher Information
  Group: PubInfo
  Data: Springer Berlin Heidelberg.
– Name: Subject
  Label: Subject Terms
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Software+Engineering%22">Software Engineering</searchLink><br /><searchLink fieldCode="DE" term="%22Programming+Techniques%22">Programming Techniques</searchLink><br /><searchLink fieldCode="DE" term="%22Programming+Languages%2C+Compilers%2C+Interpreters%22">Programming Languages, Compilers, Interpreters</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+System+Implementation%22">Computer System Implementation</searchLink><br /><searchLink fieldCode="DE" term="%22Management+of+Computing+and+Information+Systems%22">Management of Computing and Information Systems</searchLink><br /><searchLink fieldCode="DE" term="%22Informática%22">Informática</searchLink>
– Name: ISBN
  Label: ISBN
  Group: ISBN
  Data: 978-3-642-04424-3<br />978-3-642-04425-0<br />3-642-04424-7<br />3-642-04425-5
– Name: DOI
  Label: DOI
  Group: ID
  Data: 10.1007/978-3-642-04425-0_19
– Name: URL
  Label: Access URL
  Group: URL
  Data: <link linkTarget="URL" linkTerm="http://hdl.handle.net/10486/664379" linkWindow="_blank">http://hdl.handle.net/10486/664379</link>
– Name: AN
  Label: Accession Number
  Group: ID
  Data: edstdx.10486.664379
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edstdx&AN=edstdx.10486.664379
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1007/978-3-642-04425-0_19
    Subjects:
      – SubjectFull: Software Engineering
        Type: general
      – SubjectFull: Programming Techniques
        Type: general
      – SubjectFull: Programming Languages, Compilers, Interpreters
        Type: general
      – SubjectFull: Computer System Implementation
        Type: general
      – SubjectFull: Management of Computing and Information Systems
        Type: general
      – SubjectFull: Informática
        Type: general
    Titles:
      – TitleFull: Formal support for QVT-Relations with Coloured Petri nets
        Type: main
  BibRelationships:
    IsPartOfRelationships:
      – BibEntity:
          Identifiers:
            – Type: isbn-print
              Value: 9783642044243
            – Type: isbn-print
              Value: 9783642044250
            – Type: isbn-print
              Value: 3642044247
            – Type: isbn-print
              Value: 3642044255
ResultId 1