http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
Web Applications Development by Formal Refinement Approach
Meftah Mohammed Charaf Eddine,Kazar Okba 보안공학연구지원센터 2015 International Journal of Software Engineering and Vol.9 No.12
This paper proposes a formal approach for development of safe web applications. This approach involves the generation of a web application on both sides (users’ side (Ajax) and the web service side (Composition)) from formal specifications. First, we describe the application using symbolic notations then an automatic process is applied in order to translate them into formal specifications B. Using the B refinement process, a set of refinement rules, operating on data and operations. These phases of refinement are intended to make the final specifications close to the implementation language chosen so that the last coding phase becomes intuitive and natural. In general, the process of refinement is a manual task, relatively expensive; with character generic of these refinement rules, an assisted refinement tool can be achieved, enabling reduction the cost of the refining process. Finally, in the case study, we have developed a complete application (Travel Agency) in order to show the benefits of our approach.
Felouat, Abdellah,D’Alé,o, Anthony,Charaf-Eddin, Azzam,Jacquemin, Denis,Le Guennic, Boris,Kim, Eunsun,Lee, Kwang Jin,Woo, Jae Heun,Ribierre, Jean-Charles,Wu, Jeong Weon,Fages, Fré,dé American Chemical Society 2015 The Journal of physical chemistry A Vol.119 No.24
<P>Controlling photoinduced intramolecular charge transfer at the molecular scale is key to the development of molecular devices for nanooptoelectronics. Here, we describe the design, synthesis, electronic characterization, and photophysical properties of two electron donor–acceptor molecular systems that consist of tolane and BF<SUB>2</SUB>-containing curcuminoid chromophoric subunits connected in a T-shaped arrangement. The two π-conjugated segments intersect at the electron acceptor dioxaborine core. From steady-state electronic absorption and fluorescence emission, we find that the photophysics of the dialkylamino-substituted analogue is governed by the occurrence of two closely lying excited states. From DFT calculations, we show that excitation in either of these two states results in a distinct shift of the electron density, whether it occurs along the curcuminoid or tolane moiety. Femtosecond transient absorption spectroscopy confirmed these findings. As a consequence, the nature of the emitting state and the photophysical properties are strongly dependent on solvent polarity. Moreover, these characteristics can also be switched by protonation or complexation at the nitrogen atom of the amino group. These features set new approaches toward the construction of a three-terminal molecular system in which the lateral branch would transduce a change of electronic state and ultimately control charge transport in a molecular-scale device.</P><P><B>Graphic Abstract</B> <IMG SRC='http://pubs.acs.org/appl/literatum/publisher/achs/journals/content/jpcafh/2015/jpcafh.2015.119.issue-24/acs.jpca.5b03699/production/images/medium/jp-2015-03699g_0001.gif'></P><P><A href='http://pubs.acs.org/doi/suppl/10.1021/jp5b03699'>ACS Electronic Supporting Info</A></P>