1481 search results - page 133 / 297 » Enriching the Software Development Process by Formal Methods |
147
Voted
KCAP
2005
ACM
15 years 9 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...
162
Voted
APSCC
2008
IEEE
15 years 5 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...
298
Voted
SIGCSE
2005
ACM
15 years 9 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...
156
Voted
SAC
1998
ACM
15 years 7 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...
129
Voted
ISTA
2003
15 years 5 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...