Filters








177 Hits in 2.5 sec

Synchronization of Models of Rich Languages with Triple Graph Grammars: An Experience Report [chapter]

Dominique Blouin, Alain Plantec, Pierre Dissaux, Frank Singhoff, Jean-Philippe Diguet
2014 Lecture Notes in Computer Science  
We report our experience of using Triple Graph Grammars (TGG) to synchronize models of the rich and complex Architecture Analysis and Design Language (AADL), an aerospace standard of the Society of Automotive  ...  Adele has been designed to support editing AADL models in a way that does not necessarily follow the structure of the language, but is adapted to the way designers think.  ...  For MoTE, the story diagrams are interpreted to transform the models, while for eMoflon, Java code is generated from the story diagrams, which is then executed to perform the transformations.  ... 
doi:10.1007/978-3-319-08789-4_8 fatcat:xc74hqtjlvb4pbma62y5ctsgsu

A Semi-Automated Approach for the Co-Refinement of Requirements and Architecture Models

Dominique Blouin, Matthias Barkowski, Melanie Schneider, Holger Giese, Johannes Dyck, Etienne Borde, Dalila Tamzalit, Joost Noppen
2017 2017 IEEE 25th International Requirements Engineering Conference Workshops (REW)  
The approach has been prototyped for AADL models refined with the RAMSES tool and for model transformations implemented as Story Diagrams.  ...  architecture is refined providing an increasing level of details.  ...  Fig. 13 : 13 Overall story diagram implementing the co-refinement scheme Fig. 14 : 14 Simplified version of the story diagram implementing step 2 of the co-refinement scheme for the Local Communications  ... 
doi:10.1109/rew.2017.52 dblp:conf/re/BlouinBSGDBTN17 fatcat:uunbzzw7ejc2nlfjh5d2zrxcjy

Architecture Models Refinements for Software Development of Critical Real-time Embedded Systems [article]

Etienne Borde
2019 arXiv   pre-print
Software development of CPS has become so difficult that it represents most of the cost of CPS production.  ...  In this document, we present our work aiming to improve the reliability of software development in the domain of CPS.  ...  In some industry, and in particular in the transportation domain, several success stories show the added value of automated source code generation techniques.  ... 
arXiv:1911.10457v1 fatcat:z2lq4wx32zcipniorvxewxclsa

Page 175 of The Black Cat; A Monthly Magazine of Original Short Stories Vol. 3, Issue 39 [page]

1898 The Black Cat; A Monthly Magazine of Original Short Stories  
Tho Captol Hair Tonic is a new and Inraiuabie diacowery made by the weil-known authority on diMaaea of the scaip, l>r.P. J- Mf . bb sff, Prq- feaaor of Dermatoiogy, Klbtrfol4« CermanT, .  ...  Notbiaic vsa cflrrtira aadl I aa ia a air m aprcparatwa la a liUlc ha»-iiitHiaa ahoL ia Faria, lia rcara afo.  ... 

Page 50 of The Black Cat; A Monthly Magazine of Original Short Stories Vol. 7, Issue 82 [page]

1902 The Black Cat; A Monthly Magazine of Original Short Stories  
. ^ WHO TOOK MY ► COM AGIOK TKis CHef is Vexed For jean he bat keiA hia depaitment, which conultte of the daily food of manj fleoiile, neat, eweet and clean, not conlaininated or tainted by the contact  ...  If you want any- ^ thing in the way of a steel resee, eeek slete, healer, gaaeilae er ell sleea, we aae uee yae aaeity I aae«kalf In prise.  ... 

VERDICT: A Language and Framework for Engineering Cyber Resilient and Safe System

Baoluo Meng, Daniel Larraz, Kit Siu, Abha Moitra, John Interrante, William Smith, Saswata Paul, Daniel Prince, Heber Herencia-Zapana, M. Fareed Arif, Moosa Yahyazadeh, Vidhya Tekken Valapil (+3 others)
2021 Systems  
The VERDICT language is an Architecture Analysis and Design Language (AADL) annex for modeling the safety and security aspects of a system's architecture.  ...  The ever-increasing complexity of cyber-physical systems is driving the need for assurance of critical infrastructure and embedded systems.  ...  Future plans include proof of concept use of the tool on multiple product examples to evaluate the usability and benefit story.  ... 
doi:10.3390/systems9010018 fatcat:73d2wytatnddvlaihhce5dkoba

Moving architectural description from under the technology lamppost

Nenad Medvidovic, Eric M. Dashofy, Richard N. Taylor
2007 Information and Software Technology  
The Unified Modeling Language (UML) has gained popularity and wide adoption, and many of the ADLs we studied have been pushed into obscurity.  ...  In 2000, we published an extensive study of existing software architecture description languages (ADLs), which has served as a useful reference to software architecture researchers and practitioners.  ...  The content of the information does not necessarily reflect the position or the policy of the Government or any sponsor and no official endorsement should be inferred.  ... 
doi:10.1016/j.infsof.2006.08.006 fatcat:r2ckqo3gubgg3hkkgdjvqla3m4

Page 576 of Munsey's Magazine Vol. 70, Issue 3 [page]

1920 Munsey's Magazine  
I said: “Oh, rose, by the sun caressed, Unfold to her with true lover’s art The story your fragrance and beauty suggest— Under your petals is hidden a heart!  ...  Pde 9 ie A ges oe ae reo att cath aadl ee ee ie CORT Rey wr <r 576 MUNSEY’S wise, and sometimes no better than a wicked fool. Damned rogue to treat a helpless woman so!  ... 

Page 814 of Youth's Companion Vol. 99, Issue 47 [page]

1925 Youth's Companion  
Some of the magazines BUY Sor omest FROM ae aadl MAKER are still running pictures which knock the reality CATALOG FR E E of the fictionists clear into the middle of next af fH week.  ...  — Willard tisement telling the story of this new train, which we call the “ALL S . — oe Schultz’s Indian story, Wampin, Hero f AMERICAN.”  ... 

Page 199 of The Black Cat; A Monthly Magazine of Original Short Stories Vol. 4, Issue 51 [page]

1899 The Black Cat; A Monthly Magazine of Original Short Stories  
ChihicalCo SUarchSt.PhilaPa L You Run No Risk. m il WORK— ^ Smd your addma and ara will Mod 10 eopica of ** Coi> oaial MBcaainc'' prrpaidi (til to jonr friandi at lOe. aadL lam to Dt tha 01 and va wiU  ...  a3aafS;0L •t home, tlJ Send atnini^ 9100.00 TO BE CIVEN EOR A NAME Wa will glea tonny perion who will aimnae thealeTen letters ir iKiunrea Into n name of ooa of the mant latereatlnc nadcstenaleely read  ... 

The Fisher effect in the presence of time-varying coefficients

Ekaterini Panopoulou, Theologos Pantelidis
2016 Computational Statistics & Data Analysis  
The utilisation of simulated critical values instead of the asymptotic ones leads to totally different findings.  ...  Our dataset of 15 OECD countries provides empirical evidence of time-varying coefficients in the data generating process of both the interest rates and inflation rates.  ...  story'.  ... 
doi:10.1016/j.csda.2014.08.015 fatcat:7ywixqivsjewrpmiooishp74xq

Page 61 of The Black Cat; A Monthly Magazine of Original Short Stories Vol. 6, Issue 75 [page]

1901 The Black Cat; A Monthly Magazine of Original Short Stories  
It la intensely Interestiiuf and full of startline surprises. It has been the means of starting thoosanda of persons on the road to success.  ...  It marks the difference be¬ tween success and failure and makes man the supreme master of his destiny.  ... 

Elderly individuals in multigenerational households: Family composition, satisfaction with life and social involvement

Maria Clara Gonçalves Monteiro de OLIVEIRA, Henrique SALMAZO-SILVA, Lucy GOMES, Clayton Franco MORAES, Vicente Paulo ALVES
2020 Estudos de Psicologia (Campinas)  
A total of 107 elderly individuals from the Federal District were evaluated using the Geriatric Depression Scale, the Mini Exame do Estado Mental (Mini-Mental State Examination), the Scales of Basic, Instrumental  ...  and Advanced Activities of Daily Living, the Perceived Social Support, and the Life Satisfaction Scale.  ...  prevalence of participation in the "cultural activities" and " driving an automobile" AADLs.  ... 
doi:10.1590/1982-0275202037e180081 fatcat:xbuoiayctbgaxlnixiaep7bepm

Intentionality

John D. McGregor
2010 Journal of Object Technology  
In philosophical circles intentionality has a very abstract meaning that relates to consicousness of the mind.  ...  This includes following "best practices," but only those that apply to the current context.  ...  The Architecture Analysis and Design Language (AADL) provides an extensible set of properties that are used to represent specific quality attributes [AADL 09].  ... 
doi:10.5381/jot.2010.9.1.c1 fatcat:crfc4aufzncodkzmpjzy2noae4

Page 1358 of Metal Progress Vol. 46, Issue 6 [page]

1944 Metal Progress  
1 sarts- riscellanecous small f rv DERS— EPAIR oR ee - “ly ane 0a aadle them !  ...  Bulletin 64 Spotting Surface Comi naces out of the heat the production lines is described j this leaflet.  ... 
« Previous Showing results 1 — 15 out of 177 results