institut f¨ur informatik - Christian-Albrechts-Universität zu Kiel
We developed a modification support tool, Libra, and applied it to open source software. The result shows that Libra is a good searching tool as well as grep, ... 
Code Clone Analysis Methods for Efficient Software MaintenanceThis guide describes the use of GNAT, a compiler and software development toolset for the full Ada programming language. It documents the features of the ... ???????? - ????????... ??? / 3- ?????. ??????3.0 ??????? ? ?????????? ??????????????????????? a?????????????. ?? ... GNAT User's Guide - GCC, the GNU Compiler CollectionIn short, the semantics is reactive and event driven: it is driven by concurrent processes that create and react to events, such as a clock tick ... ENABLING TIMING ANALYSIS OF COMPLEX EMBEDDED ...and Semantic Grep [48]. Revealer is a tool for architectural recovery based on syntactical analysis. It allows searching for complex patterns in source code,. 1 ??????????????????????????. ????????????????????. ????????????????. ????(??????????). ??????????????????. FACHBEREICH MATHEMATIK UND INFORMATIK SERIE BIt is implemented as a Bash script and utilizes the command-line tools curl and grep to extract unique resource identifiers, starting at the Apparatus issue ... ???????????????????A? ???? ?????????????????? ?????????????????? ? ??????????????????? ???????????????? ... Balancing the LoadBy a higher level of abstraction in the Hoare logic compared to the small-step semantics, we gain efficiency for the verification of individual C0 programs. L'ORGANISATION TEXTUELLE DES ANAPHORES EN BERBERE ...... ATAS. Alexander Technique Affiliated Societies. ATAÜbk. Zollübereinkommen über das Carnet A.T.A. für die vorübergehende Einfuhr von Wa- ren. AtAV. Verordnung ... World Bank Document Evaluation of EU support to the transport sector in Africa 2005-2013Insurance, freight. -12. -29. -5. -3. -10. -10. -11. -97. -213. -263. -236. Assurance, fret. Other transportation. -28. -41. -29. -37. -27. -46. ????? - ?????????????????????????????????????????. ?????????????????????????1946?12?16???????.
