Navigational Web-Interfaces from Formal Tropos Specification. Weldemariam, K. In The 10th Annual International Workshop ``Engineering Societies in the Agents' World'' (ESAW 2009), pages 233–235, 2009. Springer.
![Navigational Web-Interfaces from Formal Tropos Specification [pdf]](https://bibbase.org/img/filetypes/pdf.svg "pdf")
Paper bibtex
Paper bibtex @inproceedings{Weldemariam:2009qv,
Author = {Komminist Weldemariam},
Booktitle = {The 10th Annual International Workshop ``Engineering Societies in the Agents' World'' (ESAW 2009)},
Date-Added = {2009-10-19 10:28:28 +0200},
Date-Modified = {2011-01-25 14:53:30 +0100},
Pages = {233--235},
Publisher = {Springer},
Title = {Navigational Web-Interfaces from Formal Tropos Specification},
Url = {pdf/esaw09.pdf},
Year = {2009},
Bdsk-Url-1 = {pdf/esaw09.pdf}}Downloads: 0
{"_id":{"_str":"5342aba20e946d920a003135"},"__v":19,"authorIDs":["545a064ab43425b772000bc1"],"author_short":["Weldemariam, K."],"bibbaseid":"weldemariam-navigationalwebinterfacesfromformaltroposspecification-2009","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Komminist"],"propositions":[],"lastnames":["Weldemariam"],"suffixes":[]}],"booktitle":"The 10th Annual International Workshop ``Engineering Societies in the Agents' World'' (ESAW 2009)","date-added":"2009-10-19 10:28:28 +0200","date-modified":"2011-01-25 14:53:30 +0100","pages":"233–235","publisher":"Springer","title":"Navigational Web-Interfaces from Formal Tropos Specification","url":"pdf/esaw09.pdf","year":"2009","bdsk-url-1":"pdf/esaw09.pdf","bibtex":"@inproceedings{Weldemariam:2009qv,\n\tAuthor = {Komminist Weldemariam},\n\tBooktitle = {The 10th Annual International Workshop ``Engineering Societies in the Agents' World'' (ESAW 2009)},\n\tDate-Added = {2009-10-19 10:28:28 +0200},\n\tDate-Modified = {2011-01-25 14:53:30 +0100},\n\tPages = {233--235},\n\tPublisher = {Springer},\n\tTitle = {Navigational Web-Interfaces from Formal Tropos Specification},\n\tUrl = {pdf/esaw09.pdf},\n\tYear = {2009},\n\tBdsk-Url-1 = {pdf/esaw09.pdf}}\n\n","author_short":["Weldemariam, K."],"key":"Weldemariam:2009qv","id":"Weldemariam:2009qv","bibbaseid":"weldemariam-navigationalwebinterfacesfromformaltroposspecification-2009","role":"author","urls":{"Paper":"http://ed.fbk.eu/people/sisai/publications_files/pdf/esaw09.pdf"},"downloads":0,"html":"","metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"ed.fbk.eu/people/sisai/publications_files/bibliography.bib","downloads":0,"keywords":[],"search_terms":["navigational","web","interfaces","formal","tropos","specification","weldemariam"],"title":"Navigational Web-Interfaces from Formal Tropos Specification","year":2009,"dataSources":["dzBYkqCKfK4tcs7g8","Jbnp9q4aufoTLHwTZ"]}