1481 search results - page 133 / 297 » Enriching the Software Development Process by Formal Methods |
193
click to vote
KCAP
2005
ACM
15 years 12 months ago
2005
ACM
The paper reports on an exploratory case study where an organizational learning methodology was used to support knowledge sharing in a medium-sized distributed software developmen...
199
click to vote
APSCC
2008
IEEE
15 years 8 months ago
2008
IEEE
Monitors have been used for real-time systems to ensure proper behavior; however, most approaches do not allow for the addition of relevant fields required to identify and react t...
370
click to vote
SIGCSE
2005
ACM
15 years 12 months ago
2005
ACM
As Computer Science (CS) educators, we are involved in teaching a variety of undergraduate and graduate courses such as database management systems, networking, software developme...
189
click to vote
SAC
1998
ACM
15 years 10 months ago
1998
ACM
Fuzzy Logic has traditionally found an application in control theory, systems analysis, and artificial intelligence [9] [7]. However, it is very difficult to apply it to tradition...
162
click to vote
ISTA
2003
15 years 7 months ago
2003
Supporting multiple languages and natural language processing are of high importance in information systems. This paper discusses software tools for the generation of languages pro...