1099 search results - page 70 / 220 » A tool for assisting the understanding and formal developmen... |
SOFTVIS
2006
ACM
14 years 3 months ago
2006
ACM
Enabling nonexperts to understand a software system and the scenarios of usage of that system can be challenging. Visually modeling a collection of scenarios as social interaction...
ICSM
2005
IEEE
14 years 2 months ago
2005
IEEE
Frameworks and libraries change their APIs. Migrating an application to the new API is tedious and disrupts the development process. Although some tools and ideas have been propos...
DILS
2005
Springer
14 years 2 months ago
2005
Springer
Few ontologies in the ecological domain exist, but their development can take advantage of gained experience in other domains and from existing modeling practices in ecology. Taxon...
ICSM
1995
IEEE
14 years 17 days ago
1995
IEEE
The various goals and requirements of a system are realized in software as fragments of code that are typically \interleaved" in that they may be woven together in the same c...
ITICSE
2005
ACM
14 years 2 months ago
2005
ACM
FAdo1 is an ongoing project which aims the development of an interactive environment for symbolic manipulation of formal languages. In this paper we focus in the description of in...