Sciweavers

ISSE
2010
13 years 2 months ago
A first attempt to combine SysML requirements diagrams and B
Régine Laleau, Farida Semmak, Abderrahman M...
ISSE
2010
13 years 2 months ago
Towards model checking executable UML specifications in mCRL2
Helle Hvid Hansen, Jeroen Ketema, Bas Luttik, Moha...
ISSE
2010
13 years 2 months ago
A second look at Faster, Better, Cheaper
“Faster, Better, Cheaper” (FBC) was a systems development methodology used by NASA in the 1990s. While usually a deprecated practice, we find that, with certain caveats, it is...
Oussama El-Rawas, Tim Menzies
ISSE
2010
13 years 2 months ago
Bringing class diagrams to life
Luís Soares Barbosa, Sun Meng