ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

feed icon rss

Ihre E-Mail wurde erfolgreich gesendet. Bitte prüfen Sie Ihren Maileingang.

Leider ist ein Fehler beim E-Mail-Versand aufgetreten. Bitte versuchen Sie es erneut.

Vorgang fortführen?

Exportieren
  • 1
    Digitale Medien
    Digitale Medien
    Springer
    Automated software engineering 7 (2000), S. 315-343 
    ISSN: 1573-7535
    Schlagwort(e): formal specification ; model-based specification ; precondition ; postcondition ; executable specification ; concurrent constraint programming ; C++
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik
    Notizen: Abstract We have implemented a technique for execution of formal, model-based specifications. The specifications we can execute are written at a level of abstraction that is close to that used in nonexecutable specifications. The specification abstractions supported by our execution technique include using quantified assertions to directly construct post-state values, and indirect definitions of post-state values (definitions that do not use equality). Our approach is based on translating specifications to the concurrent constraint programming language AKL. While there are, of course, expressible assertions that are not executable, our technique is amenable to any formal specification language based on a finite number of intrinsic types and pre- and postcondition assertions.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 2
    ISSN: 1573-1561
    Schlagwort(e): Defensive secretion ; green lacewing ; Chrysoperla carnea ; (Z)-4-tridecene ; electroantennography ; single sensillum recording ; alarm pheromone ; Chrysopidae ; Neuroptera
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Biologie , Chemie und Pharmazie
    Notizen: Abstract We report the identification of a defensive secretion from the green lacewing, Chrysoperla carnea. By using combined gas chromatography–electroantennographic detection (GC-EAD), we found one major compound in the solvent extract of this secretion that elicited a significant EAD response from the antenna. Based upon its characteristic fragments from gas chromatography–mass spectrometry (GC-MS) analysis, the compound was identified as a tridecene. Dimethyldisulfide derivatization suggested that a double bond was located between positions 4 and 5 in the carbon chain. Thus, the compound was tentatively identified as a 4-tridecene. Coinjection of the extract with a mixture of the Z or E form of the synthetic 4-tridecene revealed that the unknown was (Z)-4-tridecene. EAG dose–responses showed a direct correlation to dose. Single sensillum recordings from sensilla trichodea situated on the antennae suggested the presence of receptor neurons specifically responding to this compound. An arrestment behavior was observed when tested in the Y-tube olfactometer. Preliminary field trapping results indicate that the compound is an antagonist to attraction. The avoidance behavior of predatory ants, observed when tested with the synthetic compound of this secretion further suggested a defensive function.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
Schließen ⊗
Diese Webseite nutzt Cookies und das Analyse-Tool Matomo. Weitere Informationen finden Sie hier...