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
Filter
  • Articles  (3)
  • Springer  (3)
  • Blackwell Science Ltd
  • Macmillian Magazines Ltd.
  • National Academy of Sciences
  • 2000-2004  (3)
  • 1935-1939
  • Computer Science  (3)
Collection
  • Articles  (3)
Publisher
Years
Year
  • 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
    Electronic Resource
    Electronic Resource
    Springer
    Designs, codes and cryptography 21 (2000), S. 19-39 
    ISSN: 1573-7586
    Keywords: Baer subplane ; flag-transitive affine plane ; linearized polynomials
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract The classification of perfectBaer subplane partitions of PG(2, q2) is equivalentto the classification of 3-dimensional flag-transitive planeswhose translation complements contain a linear cyclic group actingregularly on the line at infinity. Since all known flag-transitiveplanes admit a translation complement containing a linear cyclicsubgroup which either acts regularly on the points of the lineat infinity or has two orbits of equal size on these points,such a classification would be a significant step towards theclassification of all 3-dimensional flag-transitive planes. Usinglinearized polynomials, a parametric enumeration of all perfectBaer subplane partitions for odd q is described.Moreover, a cyclotomic conjecture is given, verified by computerfor odd prime powers q 〈 200, whose truth would implythat all perfect Baer subplane partitions arise from a constructionof Kantor and hence the corresponding flag-transitive planesare all known.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 3
    Publication Date: 2002-10-25
    Print ISSN: 0177-0667
    Electronic ISSN: 1435-5663
    Topics: Computer Science , Mechanical Engineering, Materials Science, Production Engineering, Mining and Metallurgy, Traffic Engineering, Precision Mechanics , Technology
    Published by Springer
    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...