{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,25]],"date-time":"2026-02-25T18:41:10Z","timestamp":1772044870705,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,4,9]],"date-time":"2018-04-09T00:00:00Z","timestamp":1523232000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,4,9]]},"DOI":"10.1145\/3167132.3167268","type":"proceedings-article","created":{"date-parts":[[2018,7,3]],"date-time":"2018-07-03T13:54:10Z","timestamp":1530626050000},"page":"1262-1271","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Building a software requirements specification and design for an avionics system"],"prefix":"10.1145","author":[{"given":"Andr\u00e9s","family":"Paz","sequence":"first","affiliation":[{"name":"Universit\u00e9 du Qu\u00e9bec, Montreal, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ghizlane El","family":"Boussaidi","sequence":"additional","affiliation":[{"name":"Universit\u00e9 du Qu\u00e9bec, Montreal, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,4,9]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-12-803773-7.00003-6"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/2675526"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/11576280_5"},{"key":"e_1_3_2_1_5_1","volume-title":"The Journal of Defense Software Engineering","author":"Herrmannsd\u00f6rfer M.","year":"2008","unstructured":"M. Herrmannsd\u00f6rfer and B. Berenbach . Tabular notations for state machine-based specifications . The Journal of Defense Software Engineering , 2008 . M. Herrmannsd\u00f6rfer and B. Berenbach. Tabular notations for state machine-based specifications. The Journal of Defense Software Engineering, 2008."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/1929101.1929129"},{"key":"e_1_3_2_1_7_1","volume-title":"Federal Aviation Administration (FAA)","author":"Lempia D. L.","year":"2009","unstructured":"D. L. Lempia and S. P. Miller . Requirements Engineering Management Handbook. Technical report , Federal Aviation Administration (FAA) , Washington, DC, USA , 2009 . D. L. Lempia and S. P. Miller. Requirements Engineering Management Handbook. Technical report, Federal Aviation Administration (FAA), Washington, DC, USA, 2009."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.317428"},{"key":"e_1_3_2_1_9_1","series-title":"The electrical engineering handbook series","volume-title":"The control handbook","author":"Levine W. S.","year":"1996","unstructured":"W. S. Levine . The control handbook . The electrical engineering handbook series . CRC Press New York , 1996 . W. S. Levine. The control handbook. The electrical engineering handbook series. CRC Press New York, 1996."},{"key":"e_1_3_2_1_10_1","volume-title":"Radio Technical Commission for Aeronautics (RTCA)","author":"Development Model-Based","year":"2011","unstructured":"Model-Based Development and Verification Supplement to DO-178C and DO-278A. Standard DO-331 , Radio Technical Commission for Aeronautics (RTCA) , Inc ., 2011 . Model-Based Development and Verification Supplement to DO-178C and DO-278A. Standard DO-331, Radio Technical Commission for Aeronautics (RTCA), Inc., 2011."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2013.43"},{"key":"e_1_3_2_1_12_1","volume-title":"Radio Technical Commission for Aeronautics (RTCA)","author":"Technologies Object-Oriented","year":"2011","unstructured":"Object-Oriented Technologies and Related Techniques Supplement to DO-178C and DO-278A. Standard DO-332 , Radio Technical Commission for Aeronautics (RTCA) , Inc ., 2011 . Object-Oriented Technologies and Related Techniques Supplement to DO-178C and DO-278A. Standard DO-332, Radio Technical Commission for Aeronautics (RTCA), Inc., 2011."},{"key":"e_1_3_2_1_13_1","volume-title":"Montreal","author":"Paz A.","year":"2017","unstructured":"A. Paz and G. El Boussaidi . Landing Gear Control Software: An avionics software development case study. Technical report, \u00c9cole de Technologie Sup\u00e9rieure , Montreal , Canada , 2017 . url A. Paz and G. El Boussaidi. Landing Gear Control Software: An avionics software development case study. Technical report, \u00c9cole de Technologie Sup\u00e9rieure, Montreal, Canada, 2017. url"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2014.13"},{"key":"e_1_3_2_1_15_1","volume-title":"MathWorks","author":"Potter B.","year":"2012","unstructured":"B. Potter . Complying with DO-178C and DO-331 using Model-Based Design. Technical report , MathWorks , 2012 . B. Potter. Complying with DO-178C and DO-331 using Model-Based Design. Technical report, MathWorks, 2012."},{"key":"e_1_3_2_1_16_1","volume-title":"Software Systems Architecture: Working With Stakeholders Using Viewpoints and Perspectives","author":"Rozanski N.","year":"2011","unstructured":"N. Rozanski and E. Woods . Software Systems Architecture: Working With Stakeholders Using Viewpoints and Perspectives . Addison-Wesley Professional , second edition. Edition, 2011 . N. Rozanski and E. Woods. Software Systems Architecture: Working With Stakeholders Using Viewpoints and Perspectives. Addison-Wesley Professional, second edition. Edition, 2011."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/ITNG.2014.57"},{"key":"e_1_3_2_1_18_1","first-page":"911","volume-title":"Proceedings of the 11th Int. Modelica Conf.","author":"Schamai W.","year":"2015","unstructured":"W. Schamai , L. Buffoni , N. Albarello , P. Fontes De Miranda, and P. Fritzson. An aeronautic case study for requirement formalization and automated model composition in modelica . In Proceedings of the 11th Int. Modelica Conf. , Versailles, France , September 21-23, 2015 , number 118, pages 911 -- 920 , 2015. W. Schamai, L. Buffoni, N. Albarello, P. Fontes De Miranda, and P. Fritzson. An aeronautic case study for requirement formalization and automated model composition in modelica. In Proceedings of the 11th Int. Modelica Conf., Versailles, France, September 21-23, 2015, number 118, pages 911--920, 2015."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2003.1231146"},{"key":"e_1_3_2_1_20_1","volume-title":"Radio Technical Commission for Aeronautics (RTCA)","author":"Airborne Systems Software Considerations","year":"2011","unstructured":"Software Considerations in Airborne Systems and Equipment Certification . Standard DO-178C , Radio Technical Commission for Aeronautics (RTCA) , Inc ., 2011 . Software Considerations in Airborne Systems and Equipment Certification. Standard DO-178C, Radio Technical Commission for Aeronautics (RTCA), Inc., 2011."},{"key":"e_1_3_2_1_21_1","volume-title":"The 7th Int. Conf. on Software Engineering Advances","author":"White J.","year":"2012","unstructured":"J. White and H. Reza . Deriving DO-178C requirements within the appropriate level of hierarchy . In The 7th Int. Conf. on Software Engineering Advances , Lisbon, Portugal , Nov. 2012 . J. White and H. Reza. Deriving DO-178C requirements within the appropriate level of hierarchy. In The 7th Int. Conf. on Software Engineering Advances, Lisbon, Portugal, Nov. 2012."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.2281"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-010-0164-x"}],"event":{"name":"SAC 2018: Symposium on Applied Computing","location":"Pau France","acronym":"SAC 2018","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"]},"container-title":["Proceedings of the 33rd Annual ACM Symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3167132.3167268","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3167132.3167268","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:26:06Z","timestamp":1750213566000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3167132.3167268"}},"subtitle":["an experience report"],"short-title":[],"issued":{"date-parts":[[2018,4,9]]},"references-count":22,"alternative-id":["10.1145\/3167132.3167268","10.1145\/3167132"],"URL":"https:\/\/doi.org\/10.1145\/3167132.3167268","relation":{},"subject":[],"published":{"date-parts":[[2018,4,9]]},"assertion":[{"value":"2018-04-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}