Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
PDF Tools
Image Tools
Text Tools
OCR Tools
Symbol and Emoji Tools
On-screen Keyboard
Latex Math Equation to Image
Smart IPA Phonetic Keyboard
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
90
click to vote
ISSE
2010
119
views
Security Privacy
»
more
ISSE 2010
»
A first attempt to combine SysML requirements diagrams and B
15 years 4 months ago
Download
www.artist-embedded.org
Régine Laleau, Farida Semmak, Abderrahman M...
claim paper
Read More »
118
click to vote
ISSE
2010
156
views
Security Privacy
»
more
ISSE 2010
»
Generating heterogeneous executable specifications in SystemC from UML/MARTE models
15 years 4 months ago
Download
www.artist-embedded.org
Pablo Peñil, J. Medina, Hector Posadas, Eug...
claim paper
Read More »
131
click to vote
ISSE
2010
343
views
Security Privacy
»
more
ISSE 2010
»
Towards model checking executable UML specifications in mCRL2
15 years 4 months ago
Download
www.artist-embedded.org
Helle Hvid Hansen, Jeroen Ketema, Bas Luttik, Moha...
claim paper
Read More »
138
click to vote
ISSE
2010
85
views
Security Privacy
»
more
ISSE 2010
»
A second look at Faster, Better, Cheaper
15 years 4 months ago
Download
menzies.us
“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
claim paper
Read More »
110
click to vote
ISSE
2010
88
views
Security Privacy
»
more
ISSE 2010
»
Bringing class diagrams to life
15 years 4 months ago
Download
www.artist-embedded.org
Luís Soares Barbosa, Sun Meng
claim paper
Read More »
« first
‹ previous
1
2