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 27; Issue 1-3
Main
Computer Languages
Volume 27; Issue 1-3
Computer Languages
Volume 27; Issue 1-3
1
Introduction by the guest editor
Sjouke Mauw
Journal:
Computer Languages
Year:
2001
Language:
english
File:
PDF, 31 KB
Your tags:
english, 2001
2
Languages for formalizing, visualizing and verifying software architectures
Rob van Ommering
,
René Krikhaar
,
Loe Feijs
Journal:
Computer Languages
Year:
2001
Language:
english
File:
PDF, 271 KB
Your tags:
english, 2001
3
Object-oriented modelling and specification using SHE
M.C.W. Geilen
,
J.P.M. Voeten
,
P.H.A. van der Putten
,
L.J. van Bokhoven
,
M.P.J. Stevens
Journal:
Computer Languages
Year:
2001
Language:
english
File:
PDF, 451 KB
Your tags:
english, 2001
4
Visualising business processes
Paul Oude Luttighuis
,
Marc Lankhorst
,
Rob van de Wetering
,
René Bal
,
Harmen van den Berg
Journal:
Computer Languages
Year:
2001
Language:
english
File:
PDF, 520 KB
Your tags:
english, 2001
5
Argos: an automaton-based synchronous language
Florence Maraninchi
,
Yann Rémond
Journal:
Computer Languages
Year:
2001
Language:
english
File:
PDF, 319 KB
Your tags:
english, 2001
6
Visual temporal logic as a rapid prototyping tool
Martin Fränzle
,
Karsten Lüth
Journal:
Computer Languages
Year:
2001
Language:
english
File:
PDF, 355 KB
Your tags:
english, 2001
7
Automatic synthesis of SDL from MSC and its applications in forward and reverse engineering
Nikolai Mansurov
Journal:
Computer Languages
Year:
2001
Language:
english
File:
PDF, 425 KB
Your tags:
english, 2001
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
×
×