机译:WRITING AND ANALYZING SYSTEM SPECIFICATIONS BY INTEGRATED LINGUISTIC TOOLS
Dipartimento di Information ed Applicazioni, Universita di Salerno, I - 84081 Baronissi (SA), Italy;
Accademia Navale di Livorno, Italy;
Executable specifications; system behavior; integrated linguistic tools; analysis environment;