621 search results - page 52 / 125 » Understanding Natural Language with Diagrams |
211
click to vote
EWSPT
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. This paper indicates how effective software-process programming languages can lead to improved understandings of critical software processes, as well as improved process ...
167
click to vote
AAMAS
2004
Springer
15 years 6 months ago
2004
Springer
Our goal in this paper is to introduce and motivate a methodology, called Tropos,1 for building agent oriented software systems. Tropos is based on two key ideas. First, the notion...
157
click to vote
MODELS
2009
Springer
16 years 1 months ago
2009
Springer
A well known challenge in the formal methods domain is to improve their integration with practical engineering methods. In the context of embedded systems, model checking requires ...
203
Voted
IUI
2005
ACM
16 years 7 days ago
2005
ACM
Every program tells a story. Programming, then, is the art of constructing a story about the objects in the program and what they do in various situations. So-called programming l...
174
click to vote
VL
2006
IEEE
16 years 21 days ago
2006
IEEE
As software systems grow in size and use more third-party libraries and frameworks, the need for developers to understand unfamiliar large codebases is rapidly increasing. In this...