sign in · help · news · about ·

BibSonomy :: author :: Labaw ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(1)

<< < 1 > >>

Automated consistency checking of requirements specifications
Constance L. Heitmeyer, Ralph D. Jeffords, and Bruce G. Labaw ACM Transactions on Software Engineering and Methodology 5(3):231--261 (1996)
to scr formal evolution requirements by neilernst and 1 other user on Sep 18, 2006, 6:26 AM
URL | BibTeX

<< < 1 > >>publications per page: 5 10 20 50 100

a gripper