books search
books
articles search
articles
Donate
Log In
Log In
to access more features
personal recommendations
Telegram Bot
download history
send to Email or Kindle
manage booklists
save to favorites
Explore
Journals
Contribution
Donate
Litera Library
Donate paper books
Add paper books
Open LITERA Point
Volume 7; Issue 2
Main
Software & Systems Modeling
Volume 7; Issue 2
Software & Systems Modeling
Volume 7; Issue 2
1
Supporting UML-based development of embedded systems by formal techniques
Jozef Hooman
,
Hillel Kugler
,
Iulian Ober
,
Anjelika Votintseva
,
Yuri Yushtein
Journal:
Software & Systems Modeling
Year:
2008
Language:
english
File:
PDF, 896 KB
Your tags:
english, 2008
2
A platform independent model for the electronic marketplace domain
Anna Queralt
,
Ernest Teniente
Journal:
Software & Systems Modeling
Year:
2008
Language:
english
File:
PDF, 541 KB
Your tags:
english, 2008
3
Assert and negate revisited: Modal semantics for UML sequence diagrams
David Harel
,
Shahar Maoz
Journal:
Software & Systems Modeling
Year:
2008
Language:
english
File:
PDF, 720 KB
Your tags:
english, 2008
4
Heap-abstraction for an object-oriented calculus with thread classes
Erika Ábrahám
,
Andreas Grüner
,
Martin Steffen
Journal:
Software & Systems Modeling
Year:
2008
Language:
english
File:
PDF, 691 KB
Your tags:
english, 2008
5
Modeling and verification of a telecommunication application using live sequence charts and the Play-Engine tool
Pierre Combes
,
David Harel
,
Hillel Kugler
Journal:
Software & Systems Modeling
Year:
2008
Language:
english
File:
PDF, 2.03 MB
Your tags:
english, 2008
6
OMEGA: correct development of real time and embedded systems
Susanne Graf
Journal:
Software & Systems Modeling
Year:
2008
Language:
english
File:
PDF, 113 KB
Your tags:
english, 2008
7
Model driven design and aspect weaving
Jean-Marc Jézéquel
Journal:
Software & Systems Modeling
Year:
2008
Language:
english
File:
PDF, 1.13 MB
Your tags:
english, 2008
8
Correct development of real time and embedded systems
Robert France
,
Bernhard Rumpe
Journal:
Software & Systems Modeling
Year:
2008
Language:
english
File:
PDF, 70 KB
Your tags:
english, 2008
1
Follow
this link
or find "@BotFather" bot on Telegram
2
Send /newbot command
3
Specify a name for your chatbot
4
Choose a username for the bot
5
Copy an entire last message from BotFather and paste it here
×
×