View in EDS HTML Full Text PDF Full Text

Analyzing and Debugging Normative Requirements via Satisfiability Checking.

Saved in:
Bibliographic Details
Title: Analyzing and Debugging Normative Requirements via Satisfiability Checking.
Authors: Feng, Nick1, nick.feng@mail.utoronto.ca, Marsso, Lina2, lina.marsso@utoronto.ca, Getir Yaman, Sinem3, sinem.getir.yaman@york.ac.uk, Baatartogtokh, Yesugen4, ybaatartogtokh@smith.edu, Ayad, Reem5, reem.ayad@mail.utoronto.ca, De Mello, Victoria Oldemburgo2, victoria.mello@mail.utoronto.ca, Townsend, Beverley3, bev.townsend@york.ac.uk, Standen, Isobel6, isobel.standen@york.ac.uk, Stefanakos, Ioannis3, ioannis.stefanakos@york.ac.uk, Imrie, Calum3, calum.imrie@york.ac.uk, Rodrigues, Genaina Nunes7, genaina@unb.br, Cavalcanti, Ana3, ana.cavalcanti@york.ac.uk, Calinescu, Radu3, radu.calinescu@york.ac.uk, Chechik, Marsha2, chechik@cs.toronto.edu
Source: ICSE: International Conference on Software Engineering; 2024, p1-12, 12p
Database: Applied Science & Technology Source
Full text is not displayed to guests.
FullText Links:
  – Type: pdflink
Text:
  Availability: 1
Header DbId: aci
DbLabel: Applied Science & Technology Source
An: 185196373
AccessLevel: 2
PubType: Conference
PubTypeId: conference
PreciseRelevancyScore: 0
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Analyzing and Debugging Normative Requirements via Satisfiability Checking.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AU" term="%22Feng%2C+Nick%22">Feng, Nick</searchLink><relatesTo>1</relatesTo>, <i>nick.feng@mail.utoronto.ca</i><br /><searchLink fieldCode="AU" term="%22Marsso%2C+Lina%22">Marsso, Lina</searchLink><relatesTo>2</relatesTo>, <i>lina.marsso@utoronto.ca</i><br /><searchLink fieldCode="AU" term="%22Getir+Yaman%2C+Sinem%22">Getir Yaman, Sinem</searchLink><relatesTo>3</relatesTo>, <i>sinem.getir.yaman@york.ac.uk</i><br /><searchLink fieldCode="AU" term="%22Baatartogtokh%2C+Yesugen%22">Baatartogtokh, Yesugen</searchLink><relatesTo>4</relatesTo>, <i>ybaatartogtokh@smith.edu</i><br /><searchLink fieldCode="AU" term="%22Ayad%2C+Reem%22">Ayad, Reem</searchLink><relatesTo>5</relatesTo>, <i>reem.ayad@mail.utoronto.ca</i><br /><searchLink fieldCode="AU" term="%22De+Mello%2C+Victoria+Oldemburgo%22">De Mello, Victoria Oldemburgo</searchLink><relatesTo>2</relatesTo>, <i>victoria.mello@mail.utoronto.ca</i><br /><searchLink fieldCode="AU" term="%22Townsend%2C+Beverley%22">Townsend, Beverley</searchLink><relatesTo>3</relatesTo>, <i>bev.townsend@york.ac.uk</i><br /><searchLink fieldCode="AU" term="%22Standen%2C+Isobel%22">Standen, Isobel</searchLink><relatesTo>6</relatesTo>, <i>isobel.standen@york.ac.uk</i><br /><searchLink fieldCode="AU" term="%22Stefanakos%2C+Ioannis%22">Stefanakos, Ioannis</searchLink><relatesTo>3</relatesTo>, <i>ioannis.stefanakos@york.ac.uk</i><br /><searchLink fieldCode="AU" term="%22Imrie%2C+Calum%22">Imrie, Calum</searchLink><relatesTo>3</relatesTo>, <i>calum.imrie@york.ac.uk</i><br /><searchLink fieldCode="AU" term="%22Rodrigues%2C+Genaina+Nunes%22">Rodrigues, Genaina Nunes</searchLink><relatesTo>7</relatesTo>, <i>genaina@unb.br</i><br /><searchLink fieldCode="AU" term="%22Cavalcanti%2C+Ana%22">Cavalcanti, Ana</searchLink><relatesTo>3</relatesTo>, <i>ana.cavalcanti@york.ac.uk</i><br /><searchLink fieldCode="AU" term="%22Calinescu%2C+Radu%22">Calinescu, Radu</searchLink><relatesTo>3</relatesTo>, <i>radu.calinescu@york.ac.uk</i><br /><searchLink fieldCode="AU" term="%22Chechik%2C+Marsha%22">Chechik, Marsha</searchLink><relatesTo>2</relatesTo>, <i>chechik@cs.toronto.edu</i>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <searchLink fieldCode="JN" term="%22ICSE%3A+International+Conference+on+Software+Engineering%22">ICSE: International Conference on Software Engineering</searchLink>; 2024, p1-12, 12p
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=aci&AN=185196373
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1145/3597503.3639093
    Languages:
      – Code: eng
        Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 12
        StartPage: 1
    Titles:
      – TitleFull: Analyzing and Debugging Normative Requirements via Satisfiability Checking.
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Feng, Nick
      – PersonEntity:
          Name:
            NameFull: Marsso, Lina
      – PersonEntity:
          Name:
            NameFull: Getir Yaman, Sinem
      – PersonEntity:
          Name:
            NameFull: Baatartogtokh, Yesugen
      – PersonEntity:
          Name:
            NameFull: Ayad, Reem
      – PersonEntity:
          Name:
            NameFull: De Mello, Victoria Oldemburgo
      – PersonEntity:
          Name:
            NameFull: Townsend, Beverley
      – PersonEntity:
          Name:
            NameFull: Standen, Isobel
      – PersonEntity:
          Name:
            NameFull: Stefanakos, Ioannis
      – PersonEntity:
          Name:
            NameFull: Imrie, Calum
      – PersonEntity:
          Name:
            NameFull: Rodrigues, Genaina Nunes
      – PersonEntity:
          Name:
            NameFull: Cavalcanti, Ana
      – PersonEntity:
          Name:
            NameFull: Calinescu, Radu
      – PersonEntity:
          Name:
            NameFull: Chechik, Marsha
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 05
              Text: 2024
              Type: published
              Y: 2024
          Titles:
            – TitleFull: ICSE: International Conference on Software Engineering
              Type: main
ResultId 1