Modeling NASA swarm-based systems: using agent-oriented software engineering and formal methods
The need to collect new data and perform new science is causing the complexity of NASA missions to continually increase. This complexity needs to be controlled via new technological advancements and balanced with a reduction in mission and operation costs. Planned and hypothesized missions involve s...
Uloženo v:
| Vydáno v: | Software and systems modeling Ročník 10; číslo 1; s. 55 - 62 |
|---|---|
| Hlavní autoři: | , , , |
| Médium: | Journal Article |
| Jazyk: | angličtina |
| Vydáno: |
Berlin/Heidelberg
Springer-Verlag
01.02.2011
Springer Nature B.V |
| Témata: | |
| ISSN: | 1619-1366, 1619-1374 |
| On-line přístup: | Získat plný text |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
| Abstract | The need to collect new data and perform new science is causing the complexity of NASA missions to continually increase. This complexity needs to be controlled via new technological advancements and balanced with a reduction in mission and operation costs. Planned and hypothesized missions involve self-management, biological-inspiration based on swarms, and autonomous operation as a means of achieving these goals. We consider a tailored software engineering approach to developing such systems based on agent-oriented software engineering and formal methods. We report on advances in modeling, implementing, and testing NASA swarm-based concept missions. |
|---|---|
| AbstractList | The need to collect new data and perform new science is causing the complexity of NASA missions to continually increase. This complexity needs to be controlled via new technological advancements and balanced with a reduction in mission and operation costs. Planned and hypothesized missions involve self-management, biological-inspiration based on swarms, and autonomous operation as a means of achieving these goals. We consider a tailored software engineering approach to developing such systems based on agent-oriented software engineering and formal methods. We report on advances in modeling, implementing, and testing NASA swarm-based concept missions.[PUBLICATION ABSTRACT] The need to collect new data and perform new science is causing the complexity of NASA missions to continually increase. This complexity needs to be controlled via new technological advancements and balanced with a reduction in mission and operation costs. Planned and hypothesized missions involve self-management, biological-inspiration based on swarms, and autonomous operation as a means of achieving these goals. We consider a tailored software engineering approach to developing such systems based on agent-oriented software engineering and formal methods. We report on advances in modeling, implementing, and testing NASA swarm-based concept missions. |
| Author | Peña, Joaquin Hinchey, Mike Rouff, Christopher A. Ruiz-Cortés, Antonio |
| Author_xml | – sequence: 1 givenname: Joaquin surname: Peña fullname: Peña, Joaquin organization: University of Seville – sequence: 2 givenname: Christopher A. surname: Rouff fullname: Rouff, Christopher A. organization: Lockheed Martin Corporation, Advanced Technology Laboratories – sequence: 3 givenname: Mike surname: Hinchey fullname: Hinchey, Mike email: mike.hinchey@lero.ie organization: Lero-the Irish Software Engineering Research Centre, University of Limerick – sequence: 4 givenname: Antonio surname: Ruiz-Cortés fullname: Ruiz-Cortés, Antonio organization: University of Seville |
| BookMark | eNp9kEtLxDAUhYMo-PwB7oobV9GkbZKpu0F8gY-Fug6Z9maMtMmYm0Hm35s6oiDo6gbOd-49Obtk0wcPhBxydsIZU6fIWakYZayhjFeClhtkh0veUF6pevP7LeU2OUB0M8bqsmlqKXeIvgsd9M7Pi_vp47TAdxMHOjMIXYErTDDgWbHEUTdz8ImG6PIY1WBThqEAP3ceIH4yvitsiIPpiwHSS-hwn2xZ0yMcfM098nx58XR-TW8frm7Op7e0rWqVqLEMZiCl4ka2XErbCOA5NnS2A6iUKhtTCSZsJ8CU-Y8m60rJFoS0k3ZW7ZHj9d5FDG9LwKQHhy30vfEQlqgnkgspmoZn8ugX-RqW0edwelLnO6oWI8TXUBsDYgSrF9ENJq40Z3rsXK8717lzPXauy-xRvzytSya54FM0rv_XWa6duBhrhPgT6W_TBzb7mBg |
| CitedBy_id | crossref_primary_10_1016_j_eswa_2021_115187 crossref_primary_10_1007_s00500_016_2381_x crossref_primary_10_1002_sys_21555 crossref_primary_10_1007_s00607_022_01082_5 crossref_primary_10_1016_j_ress_2021_107506 crossref_primary_10_3390_s150715640 |
| Cites_doi | 10.1109/MC.2007.144 10.1145/375735.376008 10.1109/4434.846192 10.1109/TSMCC.2006.871600 10.1145/952532.952544 10.1145/1183236.1183272 10.1006/bulm.2001.0252 10.1007/s10009-006-0027-5 10.1145/958961.958963 |
| ContentType | Journal Article |
| Copyright | Springer-Verlag 2009 Springer-Verlag 2011 |
| Copyright_xml | – notice: Springer-Verlag 2009 – notice: Springer-Verlag 2011 |
| DBID | AAYXX CITATION 3V. 7SC 7XB 8AL 8AO 8FD 8FE 8FG 8FK ABUWG AFKRA ARAPS AZQEC BENPR BGLVJ CCPQU DWQXO GNUQQ HCIFZ JQ2 K7- L7M L~C L~D M0N P5Z P62 PHGZM PHGZT PKEHL PQEST PQGLB PQQKQ PQUKI PRINS Q9U |
| DOI | 10.1007/s10270-009-0135-2 |
| DatabaseName | CrossRef ProQuest Central (Corporate) Computer and Information Systems Abstracts ProQuest Central (purchase pre-March 2016) Computing Database (Alumni Edition) ProQuest Pharma Collection Technology Research Database ProQuest SciTech Collection ProQuest Technology Collection ProQuest Central (Alumni) (purchase pre-March 2016) ProQuest Central (Alumni) ProQuest Central UK/Ireland Advanced Technologies & Computer Science Collection ProQuest Central Essentials ProQuest Central ProQuest Technology Collection ProQuest One ProQuest Central Korea ProQuest Central Student SciTech Premium Collection ProQuest Computer Science Collection Computer Science Database Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional Computing Database Advanced Technologies & Aerospace Database ProQuest Advanced Technologies & Aerospace Collection ProQuest Central Premium ProQuest One Academic (New) ProQuest One Academic Middle East (New) ProQuest One Academic Eastern Edition (DO NOT USE) ProQuest One Applied & Life Sciences ProQuest One Academic (retired) ProQuest One Academic UKI Edition ProQuest Central China ProQuest Central Basic |
| DatabaseTitle | CrossRef Computer Science Database ProQuest Central Student Technology Collection Technology Research Database Computer and Information Systems Abstracts – Academic ProQuest One Academic Middle East (New) ProQuest Advanced Technologies & Aerospace Collection ProQuest Central Essentials ProQuest Computer Science Collection Computer and Information Systems Abstracts ProQuest Central (Alumni Edition) SciTech Premium Collection ProQuest One Community College ProQuest Pharma Collection ProQuest Central China ProQuest Central ProQuest One Applied & Life Sciences ProQuest Central Korea ProQuest Central (New) Advanced Technologies Database with Aerospace Advanced Technologies & Aerospace Collection ProQuest Computing ProQuest Central Basic ProQuest Computing (Alumni Edition) ProQuest One Academic Eastern Edition ProQuest Technology Collection ProQuest SciTech Collection Computer and Information Systems Abstracts Professional Advanced Technologies & Aerospace Database ProQuest One Academic UKI Edition ProQuest One Academic ProQuest Central (Alumni) ProQuest One Academic (New) |
| DatabaseTitleList | Computer Science Database Computer and Information Systems Abstracts |
| Database_xml | – sequence: 1 dbid: BENPR name: ProQuest Central (New) url: https://www.proquest.com/central sourceTypes: Aggregation Database |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISSN | 1619-1374 |
| EndPage | 62 |
| ExternalDocumentID | 2248601731 10_1007_s10270_009_0135_2 |
| Genre | Feature |
| GroupedDBID | -59 -5G -BR -EM -Y2 -~C .4S .86 .DC .VR 06D 0R~ 0VY 123 1N0 203 2J2 2JN 2JY 2KG 2LR 2P1 2VQ 2~H 30V 3V. 4.4 406 408 409 40D 40E 5VS 67Z 6NX 8AO 8FE 8FG 8TC 95- 95. 95~ 96X AAAVM AABHQ AACDK AAHNG AAIAL AAJBT AAJKR AANZL AARHV AARTL AASML AATNV AATVU AAUYE AAWCG AAYIU AAYOK AAYQN AAYTO AAYZH ABAKF ABBBX ABBXA ABDBF ABDZT ABECU ABFTD ABFTV ABHLI ABHQN ABJNI ABJOX ABKCH ABKTR ABMNI ABMQK ABNWP ABQBU ABQSL ABSXP ABTEG ABTHY ABTKH ABTMW ABULA ABUWG ABWNU ABXPI ACAOD ACBXY ACDTI ACGFS ACHSB ACHXU ACKNC ACMDZ ACMLO ACOKC ACOMO ACPIV ACSNA ACUHS ACZOJ ADHHG ADHIR ADINQ ADKNI ADKPE ADMLS ADRFC ADTPH ADURQ ADYFF ADZKW AEBTG AEFQL AEGAL AEGNC AEJHL AEJRE AEKMD AEMSY AENEX AEOHA AEPYU AESKC AETLH AEVLU AEXYK AFBBN AFGCZ AFKRA AFLOW AFQWF AFWTZ AFZKB AGAYW AGDGC AGJBK AGMZJ AGQEE AGQMX AGRTI AGWIL AGWZB AGYKE AHAVH AHBYD AHSBF AHYZX AIAKS AIGIU AIIXL AILAN AITGF AJBLW AJRNO AJZVZ ALMA_UNASSIGNED_HOLDINGS ALWAN AMKLP AMTXH AMXSW AMYLF AMYQR AOCGG ARAPS ARCSS ARMRJ ASPBG AVWKF AXYYD AYJHY AZFZN AZQEC B-. B0M BA0 BDATZ BENPR BGLVJ BGNMA BPHCQ BSONS CAG CCPQU COF CS3 CSCUP DDRTE DL5 DNIVK DPUIP DU5 DWQXO EAD EAP EBLON EBS EDO EIOEI EJD EMK EPL ESBYG ESX FEDTE FERAY FFXSO FIGPU FINBP FNLPD FRRFC FSGXE FWDCC GGCAI GGRSB GJIRD GNUQQ GNWQR GQ6 GQ7 GQ8 GXS H13 HCIFZ HF~ HG5 HG6 HLICF HMJXF HQYDN HRMNR HVGLF HZ~ I-F I09 IHE IJ- IKXTQ ITM IWAJR IXC IXE IZIGR IZQ I~X I~Z J-C J0Z JBSCW JCJTX JZLTJ K6V K7- KDC KOV LAS LLZTM M0N M4Y MA- N2Q NB0 NPVJJ NQJWS NU0 O9- O93 O9J OAM P62 P9O PF0 PQQKQ PROAC PT4 Q2X QOS R89 R9I RIG RNS ROL RPX RSV S16 S1Z S27 S3B SAP SCO SDH SHX SISQX SJYHP SNE SNPRN SNX SOHCF SOJ SPISZ SRMVM SSLCW STPWE SZN T13 TSG TSK TSV TUC TUS U2A UG4 UOJIU UTJUX UZXMN VC2 VFIZW W23 W48 WK8 YLTOR Z45 Z5O Z7R Z7S Z7X Z7Z Z81 Z83 Z88 ZMTXR ~8M AAPKM AAYXX ABBRH ABDBE ABFSG ABRTQ ACSTC ADHKG AEZWR AFDZB AFFHD AFHIU AFOHR AGQPQ AHPBZ AHWEU AIXLP ATHPR AYFIA CITATION PHGZM PHGZT PQGLB 7SC 7XB 8AL 8FD 8FK JQ2 L7M L~C L~D PKEHL PQEST PQUKI PRINS Q9U PUEGO |
| ID | FETCH-LOGICAL-c347t-af0ebe6671a6c166f95e1161edfdee37729a3505fd5ea2135a5e1776ce56f8cb3 |
| IEDL.DBID | P5Z |
| ISICitedReferencesCount | 12 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000286612400004&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 1619-1366 |
| IngestDate | Wed Oct 01 13:57:23 EDT 2025 Tue Nov 04 19:03:30 EST 2025 Tue Nov 18 22:53:25 EST 2025 Sat Nov 29 04:10:41 EST 2025 Fri Feb 21 02:34:14 EST 2025 |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 1 |
| Keywords | Formal methods Emergent behavior Agent-oriented software engineering Swarms |
| Language | English |
| License | http://www.springer.com/tdm |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-c347t-af0ebe6671a6c166f95e1161edfdee37729a3505fd5ea2135a5e1776ce56f8cb3 |
| Notes | SourceType-Scholarly Journals-1 ObjectType-Feature-1 content type line 14 ObjectType-Article-2 content type line 23 |
| PQID | 847297451 |
| PQPubID | 43171 |
| PageCount | 8 |
| ParticipantIDs | proquest_miscellaneous_861565991 proquest_journals_847297451 crossref_primary_10_1007_s10270_009_0135_2 crossref_citationtrail_10_1007_s10270_009_0135_2 springer_journals_10_1007_s10270_009_0135_2 |
| PublicationCentury | 2000 |
| PublicationDate | 20110200 2011-2-00 20110201 |
| PublicationDateYYYYMMDD | 2011-02-01 |
| PublicationDate_xml | – month: 2 year: 2011 text: 20110200 |
| PublicationDecade | 2010 |
| PublicationPlace | Berlin/Heidelberg |
| PublicationPlace_xml | – name: Berlin/Heidelberg – name: Heidelberg |
| PublicationTitle | Software and systems modeling |
| PublicationTitleAbbrev | Softw Syst Model |
| PublicationYear | 2011 |
| Publisher | Springer-Verlag Springer Nature B.V |
| Publisher_xml | – name: Springer-Verlag – name: Springer Nature B.V |
| References | TruszkowskiW.F.HincheyM.G.RashJ.L.RouffC.A.Autonomous and autonomic systems: a paradigm for future space exploration missionsIEEE Trans. Syst. Man Cybernet. Part C200636327928910.1109/TSMCC.2006.871600 HincheyM.SterrittR.RouffC.Swarms and swarm intelligenceIEEE Computer2007404111113 KendallE.A.Role modeling for agent system analysis, design, and implementationIEEE Concurrency200082344110.1109/4434.846192 Object Management Group (OMG). Unified modeling language: superstructure. version 2.0. Final adopted specification ptc/03-08-02, OMG, August 2003. http://www.omg.org Peña, J.: On improving the modelling of complex acquaintance organisations of agents: a method fragment for the analysis phase. PhD thesis, University of Seville (2005) Curtis, S.A., Mica, J., Nuth, J., Marr, G., Rilee, M.L., Bhat M.K.: ANTS (Autonomous Nano-Technology Swarm): an artificial intelligence approach to Asteroid Belt resource exploration. In: Proceedings of the International Astronautical Federation, 51st Congress, October 2000 Beni, G., Want, J.: Swarm intelligence. In: Proceedings of the Seventh Annual Meeting of the Robotics Society of Japan, pp. 425–428. RSJ Press, Tokyo, Japan (1989) Peña, J., Hinchey, M.G., Ruiz-Cortés, A.: Building the core architecture of a NASA multiagent system product line. In: 7th International Workshop on Agent Oriented Software Engineering 2006, page to be published, LNCS, Hakodate, Japan, May 2006 Curtis, S.A., Truszkowski, W.F., Rilee, M.L., Clark, P.E.: ANTS for the human exploration and development of space. In: Proceedings of the IEEE Aerospace Conference, Big Sky, Montana, USA, 9–16 March 2003 ClementsP.NorthropL.Software Product Lines: Practices and Patterns. SEI Series in Software Engineering2001ReadingAddison-Wesley PeñaJ.HincheyM.G.Ruíz-CortesA.Multiagent system product lines: challenges and benefitsCommun. ACM20064912828410.1145/1183236.1183272 Peña, J., Corchuelo, R., Arjona, J.L.: A top down approach for mas protocol descriptions. In: ACM Symposium on Applied Computing SAC’03, pp. 45–49. ACM Press, Melbourne (2003) Peña, J., Hinchey, M.G., Resinas, M., Sterritt, R., Rash, J.L.: Managing the evolution of an enterprise architecture using a MAS-product-line approach. In: 5th International Workshop on System/Software Architectures (IWSSA’06), page to be published. CSREA Press, Nevada (2006) Van Dyke Parunak, H., James, O.: Representing social structures in UML. In: Müller, J.P., Andre, E., Sen, S., Frasson, C. (eds.) Proceedings of the 5th International Conference on Autonomous Agents, pp. 100–101. ACM Press, Montreal, Canada (2001) Rouff, C.A., Hinchey, M.G., Truszkowski, W.F., Rash, J.L.: Experiences applying formal approaches in the development of swarm-based space exploration systems. In: International Journal of on software Tools for Technology Transfer. Special Issue on Formal Methods in Industry, vol. 8(6) (2006) MichaelW.HolcombeL.Mathematical models of cell biochemistry. Technical Report CS-86-41986UKSheffield University Zambonelli, F., Jennings, N., Wooldridge, M.: Developing multiagent systems: the GAIA methodology. ACM Trans. Softw. Eng. Methodol. 12(3) (2003) SumpterD.J.T.BlanchardG.B.BroomheadD.S.Ants and agents: a process algebra approach to modelling ant colony behaviourBull. Math. Biol.200163595198010.1006/bulm.2001.0252 135_CR18 135_CR17 W. Michael (135_CR7) 1986 135_CR9 135_CR8 E.A. Kendall (135_CR6) 2000; 8 135_CR4 M. Hinchey (135_CR5) 2007; 40 135_CR3 135_CR10 135_CR1 135_CR11 J. Peña (135_CR13) 2006; 49 D.J.T. Sumpter (135_CR15) 2001; 63 P. Clements (135_CR2) 2001 135_CR14 135_CR12 W.F. Truszkowski (135_CR16) 2006; 36 |
| References_xml | – reference: Peña, J.: On improving the modelling of complex acquaintance organisations of agents: a method fragment for the analysis phase. PhD thesis, University of Seville (2005) – reference: Curtis, S.A., Truszkowski, W.F., Rilee, M.L., Clark, P.E.: ANTS for the human exploration and development of space. In: Proceedings of the IEEE Aerospace Conference, Big Sky, Montana, USA, 9–16 March 2003 – reference: Zambonelli, F., Jennings, N., Wooldridge, M.: Developing multiagent systems: the GAIA methodology. ACM Trans. Softw. Eng. Methodol. 12(3) (2003) – reference: MichaelW.HolcombeL.Mathematical models of cell biochemistry. Technical Report CS-86-41986UKSheffield University – reference: SumpterD.J.T.BlanchardG.B.BroomheadD.S.Ants and agents: a process algebra approach to modelling ant colony behaviourBull. Math. Biol.200163595198010.1006/bulm.2001.0252 – reference: Van Dyke Parunak, H., James, O.: Representing social structures in UML. In: Müller, J.P., Andre, E., Sen, S., Frasson, C. (eds.) Proceedings of the 5th International Conference on Autonomous Agents, pp. 100–101. ACM Press, Montreal, Canada (2001) – reference: Object Management Group (OMG). Unified modeling language: superstructure. version 2.0. Final adopted specification ptc/03-08-02, OMG, August 2003. http://www.omg.org – reference: Peña, J., Hinchey, M.G., Resinas, M., Sterritt, R., Rash, J.L.: Managing the evolution of an enterprise architecture using a MAS-product-line approach. In: 5th International Workshop on System/Software Architectures (IWSSA’06), page to be published. CSREA Press, Nevada (2006) – reference: Curtis, S.A., Mica, J., Nuth, J., Marr, G., Rilee, M.L., Bhat M.K.: ANTS (Autonomous Nano-Technology Swarm): an artificial intelligence approach to Asteroid Belt resource exploration. In: Proceedings of the International Astronautical Federation, 51st Congress, October 2000 – reference: KendallE.A.Role modeling for agent system analysis, design, and implementationIEEE Concurrency200082344110.1109/4434.846192 – reference: ClementsP.NorthropL.Software Product Lines: Practices and Patterns. SEI Series in Software Engineering2001ReadingAddison-Wesley – reference: Beni, G., Want, J.: Swarm intelligence. In: Proceedings of the Seventh Annual Meeting of the Robotics Society of Japan, pp. 425–428. RSJ Press, Tokyo, Japan (1989) – reference: Rouff, C.A., Hinchey, M.G., Truszkowski, W.F., Rash, J.L.: Experiences applying formal approaches in the development of swarm-based space exploration systems. In: International Journal of on software Tools for Technology Transfer. Special Issue on Formal Methods in Industry, vol. 8(6) (2006) – reference: Peña, J., Hinchey, M.G., Ruiz-Cortés, A.: Building the core architecture of a NASA multiagent system product line. In: 7th International Workshop on Agent Oriented Software Engineering 2006, page to be published, LNCS, Hakodate, Japan, May 2006 – reference: PeñaJ.HincheyM.G.Ruíz-CortesA.Multiagent system product lines: challenges and benefitsCommun. ACM20064912828410.1145/1183236.1183272 – reference: HincheyM.SterrittR.RouffC.Swarms and swarm intelligenceIEEE Computer2007404111113 – reference: TruszkowskiW.F.HincheyM.G.RashJ.L.RouffC.A.Autonomous and autonomic systems: a paradigm for future space exploration missionsIEEE Trans. Syst. Man Cybernet. Part C200636327928910.1109/TSMCC.2006.871600 – reference: Peña, J., Corchuelo, R., Arjona, J.L.: A top down approach for mas protocol descriptions. In: ACM Symposium on Applied Computing SAC’03, pp. 45–49. ACM Press, Melbourne (2003) – volume: 40 start-page: 111 issue: 4 year: 2007 ident: 135_CR5 publication-title: IEEE Computer doi: 10.1109/MC.2007.144 – ident: 135_CR9 – volume-title: Mathematical models of cell biochemistry. Technical Report CS-86-4 year: 1986 ident: 135_CR7 – ident: 135_CR4 – ident: 135_CR3 – ident: 135_CR1 – ident: 135_CR17 doi: 10.1145/375735.376008 – ident: 135_CR8 – volume-title: Software Product Lines: Practices and Patterns. SEI Series in Software Engineering year: 2001 ident: 135_CR2 – volume: 8 start-page: 34 issue: 2 year: 2000 ident: 135_CR6 publication-title: IEEE Concurrency doi: 10.1109/4434.846192 – ident: 135_CR12 – volume: 36 start-page: 279 issue: 3 year: 2006 ident: 135_CR16 publication-title: IEEE Trans. Syst. Man Cybernet. Part C doi: 10.1109/TSMCC.2006.871600 – ident: 135_CR10 doi: 10.1145/952532.952544 – volume: 49 start-page: 82 issue: 12 year: 2006 ident: 135_CR13 publication-title: Commun. ACM doi: 10.1145/1183236.1183272 – ident: 135_CR11 – volume: 63 start-page: 951 issue: 5 year: 2001 ident: 135_CR15 publication-title: Bull. Math. Biol. doi: 10.1006/bulm.2001.0252 – ident: 135_CR14 doi: 10.1007/s10009-006-0027-5 – ident: 135_CR18 doi: 10.1145/958961.958963 |
| SSID | ssib004299466 ssj0027432 |
| Score | 1.9374275 |
| Snippet | The need to collect new data and perform new science is causing the complexity of NASA missions to continually increase. This complexity needs to be controlled... |
| SourceID | proquest crossref springer |
| SourceType | Aggregation Database Enrichment Source Index Database Publisher |
| StartPage | 55 |
| SubjectTerms | Balancing Compilers Complexity Computer programs Computer Science Expert's Voice Formal method Information Systems Applications (incl.Internet) Interpreters IT in Business Missions NASA Programming Languages Programming Techniques Software Software Engineering Software Engineering/Programming and Operating Systems |
| SummonAdditionalLinks | – databaseName: SpringerLINK Contemporary 1997-Present dbid: RSV link: http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1LT8MwDI7Q4MCF8RRlgHLgBIrUpk3ScpsQE6cJMUC7VWkeCGl0aO3g7-P0sTEESHCOm7ZObX-pHX8InWVZIIxgjAhlMxIpZom0PCIKTMnnfqKo9CuyCTEcxuNxctuc4y7aavc2JVl56k-H3agjSanqe0JGwO-uQ7SLHV_D3ehxxcFGDqMsdl0VSxkgm4QEIedtavO7KVeD0xJxfkmSVrFn0P3XU2-jrQZq4n79beygNZPvom5L44Abq95DqeNDc6fS8bA_6uPiXc5eiItuGtd9notL7Mrjn7B057DI1LVGLt0ouHAQNtgsmxpimWtcAeEJrtmpi330MLi-v7ohDe8CUWEkSlgsH5aWcxFIrgLObcJMAPoz2mpjQofHZQjIyWpmJIW3kjAuBFeGcRurLDxAnXyam0OENc0SFVOrk0xFQlsZwYZG8pALw7SlxkN-q_BUNU3JHTfGJF22U3YKTEGBqVNgSj10vrjkte7I8Ztwr13FtDHOIoWATGEbxQIP4cUoWJVLlcjcTOcgAkCPM8DOHrpo13U5wY-3O_qTdA9t1n-oXXHMMeqUs7k5QRvqrXwuZqfVV_0BOi_xCg priority: 102 providerName: Springer Nature |
| Title | Modeling NASA swarm-based systems: using agent-oriented software engineering and formal methods |
| URI | https://link.springer.com/article/10.1007/s10270-009-0135-2 https://www.proquest.com/docview/847297451 https://www.proquest.com/docview/861565991 |
| Volume | 10 |
| WOSCitedRecordID | wos000286612400004&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVPQU databaseName: Advanced Technologies & Aerospace Database customDbUrl: eissn: 1619-1374 dateEnd: 20171231 omitProxy: false ssIdentifier: ssj0027432 issn: 1619-1366 databaseCode: P5Z dateStart: 20020901 isFulltext: true titleUrlDefault: https://search.proquest.com/hightechjournals providerName: ProQuest – providerCode: PRVPQU databaseName: Computer Science Database customDbUrl: eissn: 1619-1374 dateEnd: 20171231 omitProxy: false ssIdentifier: ssj0027432 issn: 1619-1366 databaseCode: K7- dateStart: 20020901 isFulltext: true titleUrlDefault: http://search.proquest.com/compscijour providerName: ProQuest – providerCode: PRVPQU databaseName: ProQuest Central (New) customDbUrl: eissn: 1619-1374 dateEnd: 20171231 omitProxy: false ssIdentifier: ssj0027432 issn: 1619-1366 databaseCode: BENPR dateStart: 20020901 isFulltext: true titleUrlDefault: https://www.proquest.com/central providerName: ProQuest – providerCode: PRVAVX databaseName: SpringerLINK Contemporary 1997-Present customDbUrl: eissn: 1619-1374 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0027432 issn: 1619-1366 databaseCode: RSV dateStart: 20020901 isFulltext: true titleUrlDefault: https://link.springer.com/search?facet-content-type=%22Journal%22 providerName: Springer Nature |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV1LT9wwEB7xOvQC5VF1S1n5wAlkkTixveml2iIQEtJqxUuIS-T4UVWiWdgs5e8zk8cuVCqXXnKxE0cznvFnz3g-gP2iiLXXUnJtQ8FTKwM3QaXcoilFKsqsMFFNNqFHo8HtbTZuc3OqNq2y84m1o3YTS2fkR-hFBWJfGX9_eOREGkXB1ZZBYxlWqUgCMTeM5d2r_VbNT4aYJuNxolQX1GxuzgliXKmThRLJxdtlaYE1_wqP1qvO6cZ__u9HWG_hJhs282MTlny5BRsdlQNrLXsbcuJEo5vpbDS8HLLq2Ux_c1rhHGtqPVffGKXI_2SG7mLRUFTME1vRjWNnz_yisCEzpWM1GL5nDUN1tQPXpydXx2e85V7gNkn1DBUWoXqV0rFRNlYqZNLHKEnvgvM-IUxuEkRPwUlvBIrQYLvWynqpwsAWySdYKSel_wzMiSKzAxFcVthUu2BS3NQYlSjtpQvC9yDqRJ_btjA58WPc54uSyqStHLWVk7Zy0YOD-SsPTVWO9zrvdhrKWwOt8rl6esDmrWhZFC4xpZ88YRcEe0oifu7BYTcLFh_453Bf3h1uFz40p9KUEPMVVmbTJ78Ha_bP7Fc17cPqj5PR-KIPy-ea9-vZjM-Ly5sXIuP7Rw |
| linkProvider | ProQuest |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V1Lb9QwEB6VggQXyqtiKQ8f4AKySOzY3iAhtAKqVltWSBSpN-P4gZBKtmy2VPwo_iMzeewCEr31wNmOH_HnmbHHMx_A46rKTTRKceNTxQuvEndJF9zjVsp0VnrhspZswsxm46Oj8v0G_BxiYehZ5SATW0Ed5p7uyJ-jFBVo-6r81ck3TqRR5FwdGDQ6VEzjjzM8sTUv99_g8j4RYvft4es93pMKcC8Ls8SRZDhurU3utM-1TqWKOZo9MaQQoyRj00k0C1JQ0YlcKoflxmgflU5jX0ls9xJcLuTY0LaaGv7b-a7lQ8PGSp5LrQcnahepJ4jhpX2cJBUXf6rBtW37lzu21XK7W__Z_7kB13tzmk06_N-EjVjfgq2BqoL1kus2WOJ8o8h7Npt8mLDmzC2-ctLggXW5rJsXjEIAPjNHsWY0NUpWiqWoprByZHGduJG5OrDW2D9mHQN3cwc-Xsg0t2GzntfxLrAgqtKPRQpl5QsTkivw0Oa01CaqkEQcQTYstfV94nXi_zi265TRhA6L6LCEDitG8HT1yUmXdeS8yjsDImwvgBq7gsMI2KoUJQe5g1wd56dYBY1ZrfB8MIJnA-rWDfyzu3vndvcIru4dvjuwB_uz6Q5c627g6fHPfdhcLk7jA7jivy-_NIuH7d5h8OmiwfgL33NV5w |
| linkToPdf | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V1Lb9QwEB6VghAXyqtiKQ8f4AKymjixvUFCaEVZURWtVgKkiotx_Kgqtdl2s6Xip_XfdSaPXUCitx4423Hi-PN4xvP4AF6WZaqDlpJrF0ueOxm5jSrnDrdSopLCCZs0ZBN6Mhnu7xfTNbjoc2EorLKXiY2g9jNHd-TbKEUF6r4y3Y5dVMR0Z_z-5JQTgRQ5Wns2jRYhe-HXOVpv9bvdHVzqV0KMP3798Il3BAPcZble4FclOAeldGqVS5WKhQwpqkDBRx9CRoqnzVBFiF4GK9JMWmzXWrkgVRy6MsNxb8BNjSYmRRNO5fffbL2GGw0HK3iaKdU7VNusPUFsL02gUia5-PNIXOm5f7lmmxNvvPEf_6t7cLdTs9mo3Rf3YS1UD2Cjp7BgnUR7CIa44Cgjn01GX0asPrfzY04nu2dtjev6LaPUgANmKQeNpkZFTLEVjy_sHFhYFXRktvKsMQKOWMvMXT-Cb9cyzU1Yr2ZVeAzMi7JwQxF9Ubpc-2hzNOasypQO0kcRBpD0y25cV5CdeEGOzKqUNCHFIFIMIcWIAbxePnLSViO5qvNWjw7TCabaLKExALZsRYlCbiJbhdkZdkElV0m0GwbwpkfgaoB_vu7Jla97AbcRg-bz7mRvC-60F_MUE_QU1hfzs_AMbrmfi8N6_rzZRgx-XDcWLwETe18L |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Modeling+NASA+swarm-based+systems%3A+using+agent-oriented+software+engineering+and+formal+methods&rft.jtitle=Software+and+systems+modeling&rft.au=Pena%2C+Joaquin&rft.au=Rouff%2C+Christopher+A&rft.au=Hinchey%2C+Mike&rft.au=Ruiz-Cortes%2C+Antonio&rft.date=2011-02-01&rft.issn=1619-1366&rft.eissn=1619-1374&rft.volume=10&rft.issue=1&rft.spage=55&rft.epage=62&rft_id=info:doi/10.1007%2Fs10270-009-0135-2&rft.externalDBID=NO_FULL_TEXT |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1619-1366&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1619-1366&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1619-1366&client=summon |