Design, Specification and Verification of Interactive Systems โ€™98: Proceedings of the Eurographics Workshop in Abingdon, UK, June 3โ€“5, 1998

ยท
ยท Springer Science & Business Media
eBook
326
ํŽ˜์ด์ง€
๊ฒ€์ฆ๋˜์ง€ ์•Š์€ ํ‰์ ๊ณผ ๋ฆฌ๋ทฐ์ž…๋‹ˆ๋‹ค. ย ์ž์„ธํžˆ ์•Œ์•„๋ณด๊ธฐ

eBook ์ •๋ณด

Does modelling, formal or otherwise, play a role in designing interactive systems? A proliferation of interactive devices and technologies is used in an ever increasing diversity of contexts and combinations in professional and every-day life. This development poses a significant challenge to modelling approaches used for the design of interactive systems. The papers in this volume discuss a range of modelling approaches, the representations they use, the strengths and weaknesses of their associated specification and analysis techniques and their role in supporting the design of interactive systems.

์ด eBook ํ‰๊ฐ€

์˜๊ฒฌ์„ ์•Œ๋ ค์ฃผ์„ธ์š”.

์ฝ๊ธฐ ์ •๋ณด

์Šค๋งˆํŠธํฐ ๋ฐ ํƒœ๋ธ”๋ฆฟ
Android ๋ฐ iPad/iPhone์šฉ Google Play ๋ถ ์•ฑ์„ ์„ค์น˜ํ•˜์„ธ์š”. ๊ณ„์ •๊ณผ ์ž๋™์œผ๋กœ ๋™๊ธฐํ™”๋˜์–ด ์–ด๋””์„œ๋‚˜ ์˜จ๋ผ์ธ ๋˜๋Š” ์˜คํ”„๋ผ์ธ์œผ๋กœ ์ฑ…์„ ์ฝ์„ ์ˆ˜ ์žˆ์Šต๋‹ˆ๋‹ค.
๋…ธํŠธ๋ถ ๋ฐ ์ปดํ“จํ„ฐ
์ปดํ“จํ„ฐ์˜ ์›น๋ธŒ๋ผ์šฐ์ €๋ฅผ ์‚ฌ์šฉํ•˜์—ฌ Google Play์—์„œ ๊ตฌ๋งคํ•œ ์˜ค๋””์˜ค๋ถ์„ ๋“ค์„ ์ˆ˜ ์žˆ์Šต๋‹ˆ๋‹ค.
eReader ๋ฐ ๊ธฐํƒ€ ๊ธฐ๊ธฐ
Kobo eReader ๋“ฑ์˜ eBook ๋ฆฌ๋”๊ธฐ์—์„œ ์ฝ์œผ๋ ค๋ฉด ํŒŒ์ผ์„ ๋‹ค์šด๋กœ๋“œํ•˜์—ฌ ๊ธฐ๊ธฐ๋กœ ์ „์†กํ•ด์•ผ ํ•ฉ๋‹ˆ๋‹ค. ์ง€์›๋˜๋Š” eBook ๋ฆฌ๋”๊ธฐ๋กœ ํŒŒ์ผ์„ ์ „์†กํ•˜๋ ค๋ฉด ๊ณ ๊ฐ์„ผํ„ฐ์—์„œ ์ž์„ธํ•œ ์•ˆ๋‚ด๋ฅผ ๋”ฐ๋ฅด์„ธ์š”.

Panos Markopoulos ์ž‘๊ฐ€์˜ ์ฑ… ๋”๋ณด๊ธฐ

๋น„์Šทํ•œ eBook