Tag Archives: Laura M. Castro

  • Laura M Castro – Making property based testing easier (Lambda Days 2016)
    2016-03-10 Erlang Central

    Videos



    Slides and more info: http://www.lambdadays.org/lambdadays2016/laura-m-castro Software stakeholders who do not have a technical profile (i.e. users, clients) but do want to take part in the development and/or quality assurance process of software, have an unmet need for communication on what is being tested during the development life-cycle. The transformation of test properties and models into semi-natural language representations is one way of responding to such need. Our research has demo ...


    Read more


  • EUC 2014 – Laura M. Castro – Erlang as Supporting Technology for teaching Software Architecture
    2014-08-25 Erlang Central

    Videos



    At university, it is usually the case that students are introduced to programming languages to the extent in which they serve a teaching purpose usually related to acquiring some paradigm-bounded programming skills. Thus, they (we) learn to code our first source lines using PASCAL, are introduced to C programming to handle memory and threads, enter the Java world hand-in-hand with UML and object-orientation. However, Erlang is seldom the choice for learning about the declarative paradigm, for wh ...


    Read more


  • Testing Database Applications with QuickCheck
    2010-11-15 Erlang Central

    Presentations

    In this tutorial we concentrate on Erlang applications that use a database in the bottom. The database can be Mnesia, mySQL or any other. When testing such database application on needs to test the business logic. The business logic can be seen as rules that should hold for the data in the database, but these rules cannot easily be guaranteed by the database itself. For example, it is hard in Mnesia to guarantee relations between data and it is hard in mySQL to guarantee on the database level th ...


    Read more


  • Improving software development using Erlang/OTP: a case study
    2010-06-07 Erlang Central

    Videos



    This talk presents the results of a study on software development using functional programming, based on a real industrial case. The integral process of software development is addressed from the declarative paradigm point of view, and this talk goes through the properties that functional technology gives to both software and its construction process, from the early analysis and design development phases, up to the final and no less critical verification and validation stages. In particular, the ...


    Read more