{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,9]],"date-time":"2025-01-09T10:40:22Z","timestamp":1736419222542,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540346944"},{"type":"electronic","value":"9783540346951"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11767954_11","type":"book-chapter","created":{"date-parts":[[2006,6,10]],"date-time":"2006-06-10T15:48:13Z","timestamp":1149954493000},"page":"164-178","source":"Crossref","is-referenced-by-count":1,"title":["Managing Ad-Hoc Networks Through the Formal Specification of Service Requirements"],"prefix":"10.1007","author":[{"given":"Mart\u00edn","family":"L\u00f3pez-Nores","sequence":"first","affiliation":[]},{"given":"Jorge","family":"Garc\u00eda-Duque","sequence":"additional","affiliation":[]},{"given":"Jos\u00e9 J.","family":"Pazos-Arias","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/3-540-46000-4_21","volume-title":"Coordination Models and Languages","author":"R. Handorean","year":"2002","unstructured":"Handorean, R., Roman, G.C.: Service provision in ad hoc networks. In: Arbab, F., Talcott, C. (eds.) COORDINATION 2002. LNCS, vol.\u00a02315, pp. 207\u2013219. Springer, Heidelberg (2002)"},{"issue":"8","key":"11_CR2","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1109\/MCOM.2002.1024422","volume":"40","author":"I. Akyildiz","year":"2002","unstructured":"Akyildiz, I., Su, W., Sankarasubramaniam, Y., Cayirci, E.: A survey on sensor networks. IEEE Communications Magazine\u00a040(8), 102\u2013114 (2002)","journal-title":"IEEE Communications Magazine"},{"issue":"4","key":"11_CR3","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1109\/TMM.2003.822787","volume":"6","author":"S. Ghandeharizadeh","year":"2004","unstructured":"Ghandeharizadeh, S., Krishnamachari, B., Song, S.: Placement of continuous media in wireless peer-to-peer networks. IEEE Transactions on Multimedia\u00a06(4), 335\u2013342 (2004)","journal-title":"IEEE Transactions on Multimedia"},{"key":"11_CR4","unstructured":"Sen, R., Hackmann, G., Roman, G.C., Gill, C.: Towards predictable service provision in mobile ad-hoc networks. Technical Report WUCSE-04-60, Department of Computer Science and Engineering, Washington University (2004)"},{"key":"11_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1007\/978-3-540-30186-8_17","volume-title":"Distributed Computing","author":"S. Dolev","year":"2004","unstructured":"Dolev, S., Gilbert, S., Lynch, N., Schiller, E., Shvartsman, A., Welch, J.: Virtual mobile nodes for mobile ad hoc networks. In: Guerraoui, R. (ed.) DISC 2004. LNCS, vol.\u00a03274, pp. 230\u2013244. Springer, Heidelberg (2004)"},{"key":"11_CR6","unstructured":"Chang, Y.H., Ho, T., Pack Kaelbling, L.: Mobilized ad-hoc networks: A reinforcement learning approach. Technical Report AIM-2003-025, MIT (2003)"},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"Sen, R., Hackmann, G., Roman, G.C., Gill, C.: Opportunistic exploitation of knowledge to increase predictability of agent interactions in MANETs. In: Proceedings of the 4th International Workshop on Software Engineering for Large-scale Multi-agent Systems (2005)","DOI":"10.1145\/1082960.1082972"},{"key":"11_CR8","volume-title":"Model checking","author":"E. Clarke","year":"2000","unstructured":"Clarke, E., Grumberg, O., Peled, D.: Model checking. MIT Press, Cambridge (2000)"},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"Goldenberg, D.K., Lin, J., Morse, A.S., Rosen, B.E., Yang, Y.R.: Towards mobility as a network control primitive. In: Proceedings of the 5th ACM International Symposium on Mobile Ad-hoc Networking and Computing, pp. 163\u2013174 (2004)","DOI":"10.1145\/989459.989481"},{"key":"11_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"274","DOI":"10.1007\/3-540-48683-6_25","volume-title":"Computer Aided Verification","author":"G. Bruns","year":"1999","unstructured":"Bruns, G., Godefroid, P.: Model checking partial state spaces with 3-valued temporal logics. In: Halbwachs, N., Peled, D.A. (eds.) CAV 1999. LNCS, vol.\u00a01633, pp. 274\u2013287. Springer, Heidelberg (1999)"},{"key":"11_CR11","doi-asserted-by":"crossref","unstructured":"Larsen, K.G., Thomsen, B.: A modal process logic. In: Proceedings of the 3rd Annual Symposium on Logic in Computer Science, Edinburgh, United Kingdom, pp. 203\u2013210 (1988)","DOI":"10.1109\/LICS.1988.5119"},{"key":"11_CR12","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/PL00003939","volume":"13","author":"J.J. Pazos-Arias","year":"2001","unstructured":"Pazos-Arias, J.J., Garc\u00eda-Duque, J.: SCTL-MUS: A formal methodology for software development of distributed systems. A case study. Formal Aspects of Computing\u00a013, 50\u201391 (2001)","journal-title":"Formal Aspects of Computing"},{"key":"11_CR13","series-title":"Bibliotheca Mathematica","volume-title":"Introduction to Metamathematics","author":"S.C. Kleene","year":"1952","unstructured":"Kleene, S.C.: Introduction to Metamathematics. Bibliotheca Mathematica, vol.\u00a01. North-Holland, Amsterdam (1952)"},{"key":"11_CR14","doi-asserted-by":"publisher","first-page":"469","DOI":"10.1017\/S0960129504004268","volume":"14","author":"M.R.A. Huth","year":"2004","unstructured":"Huth, M.R.A., Jagadeesan, R., Schmidt, D.A.: A domain equation for refinement of partial systems. Mathematical Structures in Computer Science\u00a014, 469\u2013505 (2004)","journal-title":"Mathematical Structures in Computer Science"},{"issue":"4","key":"11_CR15","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1007\/s00766-002-0157-6","volume":"8","author":"R. Banach","year":"2003","unstructured":"Banach, R., Poppleton, M.: Retrenching partial requirements into system definitions: A simple feature interaction case study. Requirements Engineering\u00a08(4), 266\u2013288 (2003)","journal-title":"Requirements Engineering"},{"key":"11_CR16","doi-asserted-by":"crossref","unstructured":"Swamy, G.: Incremental methods for formal verification and logic synthesis. PhD thesis, University of California at Berkeley, UMI publication 9723211 (1996)","DOI":"10.2139\/ssrn.3702088"},{"key":"11_CR17","doi-asserted-by":"crossref","unstructured":"M\u00e4kinen, E., Syst\u00e4, T.: MAS \u2013 an interactive synthesizer to support behavioral modelling in UML. In: Proceedings of the 23rd International Conference on Software Engineering, Toronto, Canada, pp. 15\u201324 (2001)","DOI":"10.1109\/ICSE.2001.919077"},{"key":"11_CR18","doi-asserted-by":"crossref","unstructured":"Uchitel, S., Kramer, J.: A workbench for synthesising behaviour models from scenarios. In: Proceedings of the 23rd International Conference on Software Engineering, Toronto, Canada, pp. 188\u2013197 (2001)","DOI":"10.1109\/ICSE.2001.919093"},{"key":"11_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"351","DOI":"10.1007\/3-540-58179-0_67","volume-title":"Computer Aided Verification","author":"O.V. Sokolsky","year":"1994","unstructured":"Sokolsky, O.V., Smolka, S.A.: Incremental model checking in the modal \u03bc-calculus. In: Dill, D.L. (ed.) CAV 1994. LNCS, vol.\u00a0818, pp. 351\u2013363. Springer, Heidelberg (1994)"},{"key":"11_CR20","doi-asserted-by":"crossref","first-page":"176","DOI":"10.1007\/3-540-44577-3_12","volume-title":"Informatics - 10 years back, 10 years ahead","author":"E.M. Clarke","year":"2001","unstructured":"Clarke, E.M., Grumberg, O., Jha, S., Lu, Y., Veith, H.: Progress on the state explosion problem in model checking. In: Informatics - 10 years back, 10 years ahead, pp. 176\u2013194. Springer, Heidelberg (2001)"},{"issue":"2","key":"11_CR21","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1016\/S0164-1212(03)00067-0","volume":"70","author":"A. Fern\u00e1ndez-Vilas","year":"2004","unstructured":"Fern\u00e1ndez-Vilas, A., Pazos-Arias, J.J., Gil-Solla, A., D\u00edaz-Redondo, R.P., Garc\u00eda-Duque, J., Barrag\u00e1ns-Mart\u00ednez, B.: Incremental specification with SCTL\/MUS-T: A case study. Journal of Systems and Software\u00a070(2), 189\u2013208 (2004)","journal-title":"Journal of Systems and Software"},{"issue":"2","key":"11_CR22","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A theory of timed automata. Theoretical Computer Science\u00a0126(2), 183\u2013235 (1994)","journal-title":"Theoretical Computer Science"},{"key":"11_CR23","volume-title":"Mobile agents","author":"P. Braun","year":"2005","unstructured":"Braun, P., Rossak, W.: Mobile agents. Morgan Kaufmann, San Francisco (2005)"},{"key":"11_CR24","doi-asserted-by":"crossref","unstructured":"Easterbrook, S., Chechik, M.: A framework for multi-valued reasoning over inconsistent viewpoints. In: Proceedings of the 23rd International Conference on Software Engineering (2001)","DOI":"10.1109\/ICSE.2001.919114"},{"key":"11_CR25","doi-asserted-by":"crossref","unstructured":"Ball, T., Naik, M., Rajamani, S.: From symptom to cause: Localizing errors in counterexample traces. In: Proceedings of the 30th Annual ACM Symposium on Principles of Programming Languages, pp. 97\u2013105 (2003)","DOI":"10.1145\/604131.604140"},{"key":"11_CR26","doi-asserted-by":"crossref","unstructured":"Gurfinkel, A., Chechik, M.: Generating counterexamples for multi-valued model-checking. In: Proceedings of the 12th International Symposium on Formal Methods, Pisa, Italy, pp. 503\u2013521 (2003)","DOI":"10.1007\/978-3-540-45236-2_28"},{"key":"11_CR27","volume-title":"Wireless communications: Principles and practice","author":"T. Rappaport","year":"2002","unstructured":"Rappaport, T.: Wireless communications: Principles and practice. Prentice Hall, Englewood Cliffs (2002)"},{"key":"11_CR28","unstructured":"Zhao, W., Amma, M.: Message ferrying: proactive routing in highly-partitioned wireless ad hoc networks. In: Proceedings of the 9th IEEE Workshop on Future Trends of Distributed Computing Systems (2003)"},{"key":"11_CR29","doi-asserted-by":"crossref","unstructured":"Garc\u00eda-Duque, J., Pazos-Arias, J.J., Barrag\u00e1ns-Mart\u00ednez, B.: An analysis-revision cycle to evolve requirements specifications by using the SCTL-MUS methodology. In: Proceedings of the 10th IEEE International Conference on Requirements Engineering, Essen, Germany, pp. 282\u2013288 (2002)","DOI":"10.1109\/ICRE.2002.1048539"},{"key":"11_CR30","doi-asserted-by":"crossref","unstructured":"L\u00f3pez-Nores, M., Pazos-Arias, J.J., Garc\u00eda-Duque, J., Barrag\u00e1ns-Mart\u00ednez, B.: An agile approach to support incremental development of requirements specifications. In: Proceedings of the IEEE Australian Software Engineering Conference, Sydney, Australia (2006)","DOI":"10.1109\/ASWEC.2006.11"},{"issue":"5","key":"11_CR31","doi-asserted-by":"publisher","first-page":"677","DOI":"10.1093\/logcom\/10.5.677","volume":"10","author":"A. Hunter","year":"2000","unstructured":"Hunter, A.: Reasoning with contradictory information using quasi-classical logic. Journal of Logic and Computation\u00a010(5), 677\u2013703 (2000)","journal-title":"Journal of Logic and Computation"},{"issue":"2","key":"11_CR32","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/S0164-1212(01)00036-X","volume":"58","author":"B. Nuseibeh","year":"2001","unstructured":"Nuseibeh, B., Easterbrook, S., Russo, A.: Making inconsistency respectable in software development. Journal of Systems and Software\u00a058(2), 171\u2013180 (2001)","journal-title":"Journal of Systems and Software"},{"key":"11_CR33","unstructured":"Barrag\u00e1ns-Mart\u00ednez, B., Pazos-Arias, J., Fern\u00e1ndez-Vilas, A.: On measuring levels of inconsistency in multi-perspective requirements specifications. In: Proceedings of the 1st International Conference on the Principles of Software Engineering, Buenos Aires, Argentina, pp. 21\u201330 (2004)"}],"container-title":["Lecture Notes in Computer Science","Coordination Models and Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11767954_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,9]],"date-time":"2025-01-09T09:34:43Z","timestamp":1736415283000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11767954_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540346944","9783540346951"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/11767954_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}