Research Article410.1016/s0096-0551(01)00018-2Automatic synthesis of SDL from MSC and its applications in forward and reverse engineeringApr 01, 2001Computer LanguagesNikolai MansurovCiteListenSave
Research Article12610.1016/s0096-0551(01)00016-9Argos: an automaton-based synchronous languageApr 01, 2001Computer LanguagesFlorence Maraninchi + 1 more +1CiteListenSave
Research Article1910.1016/s0096-0551(01)00013-3Languages for formalizing, visualizing and verifying software architecturesApr 01, 2001Computer LanguagesRob Van Ommering + 2 more +2CiteListenSave
Front Matter10.1016/s0096-0551(01)00012-1Introduction by the guest editorApr 01, 2001Computer LanguagesSjouke MauwCiteListenSave
Supplementary Content10.1016/s0096-0551(01)00011-xIndex to Volume 26Jul 01, 2000Computer LanguagesCiteListenSave
Research Article10.1016/s0096-0551(99)00009-0Mobile Processing in Distributed and Open Environments; Peter Sapaty. John Wiley and Sons, Inc. ISBN: 0-471-19572-3.Jul 01, 1999Computer LanguagesR.s LedleyCiteListenSave
Research Article10.1016/s0096-0551(99)00011-9Building N-Tier Applications with COM And Visual Basic 6.0; Ash Rofail, Tony Martin. John Wiley & Sons, Inc. ISBN: 0-471-29549-3.Jul 01, 1999Computer LanguagesR.s LedleyCiteListenSave
Research Article1610.1016/s0096-0551(97)00010-6Lazy narrowing with simplificationJul 01, 1997Computer LanguagesMichael HanusCiteListenSave