Software construction method with Extended Modula-2 language environment | IEEE Conference Publication | IEEE Xplore