Item request has been placed!

Item request cannot be made.

Processing Request

Search Results

Display Settings

Results per page: 10

Sort By: Relevance

Your Filters

Collection : University Of Konstanz

Item request has been placed!

Item request cannot be made.

Processing Request

Conference

Active coevolutionary learning of requirements specifications from examples

Authors : Wever, Marcel; van Rooijen, Lorijn; Hamann, Heiko

Subjects: ddc:004

Source: BOSMAN, Peter A. N., ed. GECCO '17 : Proceedings of the Genetic and Evolutionary Computation Conference. New York, NY: ACM, 2017, pp. 1327-1334. ISBN 978-1-4503-4920-8. Available under:

Read More Add to Saved list

Conference

Four Issues Concerning the Semantics of Message Flow Graphs

Authors : Ladkin, Peter B.; Leue, Stefan

Subjects: Semantics of Programming Languages; Requirements/Specifications; Protocol Specifications

Read More Add to Saved list

Conference

What Do Message Sequence Charts Mean?

Authors : Ladkin, Peter B.; Leue, Stefan

Subjects: Semantics of Pragramming Languages; Requirements/Specifications; Protocol specification

Read More Add to Saved list