Sciweavers

3619 search results - page 312 / 724
» Humor modeling in the interface
Sort
View
184
Voted
ICSE
2008
IEEE-ACM
16 years 7 months ago
From programming to modeling: our experience with a distributed software engineering course
Distributed Software Engineering (DSE) concepts in Computer Science (or Engineering) Degrees are commonly introduced using a hands-on approach mainly consisting of teaching a part...
Antonio Vallecillo, Francisco Durán, Jordi ...
190
Voted
COMPSAC
2008
IEEE
16 years 1 months ago
Modeling by Form Transformation for End-User Initiative Development
2. Previous studies on end-user computing The development of Web applications should be supported by business professionals themselves since Web applications must be modified frequ...
Takeshi Chusho, Noriyuki Yagi
ICIW
2008
IEEE
16 years 1 months ago
Leveraging Integrated Tools for Model-Based Analysis of Service Compositions
—Developing service compositions, using multiple standards and implementation techniques, typically involves specifying service characteristics in different languages and tools. ...
Howard Foster, Philip Mayer
RTCSA
2006
IEEE
16 years 21 days ago
An RTOS API Translator for Model-Driven Embedded Software Development
In this paper, we present a model-driven approach to RTOS-based embedded software development and an automated tool that can produce RTOS-specific code. Our contributions are two ...
Ji Chan Maeng, Jong-Hyuk Kim, Minsoo Ryu
TACAS
2005
Springer
121views Algorithms» more  TACAS 2005»
16 years 5 days ago
FocusCheck: A Tool for Model Checking and Debugging Sequential C Programs
Abstract. We present the FocusCheck model-checking tool for the verification and easy debugging of assertion violations in sequential C programs. The main functionalities of the t...
Curtis W. Keller, Diptikalyan Saha, Samik Basu, Sc...