ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
  • 1
    Electronic Resource
    Electronic Resource
    Springer
    Automated software engineering 7 (2000), S. 315-343 
    ISSN: 1573-7535
    Keywords: formal specification ; model-based specification ; precondition ; postcondition ; executable specification ; concurrent constraint programming ; C++
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: 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.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 2
    ISSN: 1573-1561
    Keywords: Defensive secretion ; green lacewing ; Chrysoperla carnea ; (Z)-4-tridecene ; electroantennography ; single sensillum recording ; alarm pheromone ; Chrysopidae ; Neuroptera
    Source: Springer Online Journal Archives 1860-2000
    Topics: Biology , Chemistry and Pharmacology
    Notes: 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.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...