1005 search results - page 68 / 201 » Formal Software Development in MAYA |
158
click to vote
SEKE
1995
Springer
15 years 8 months ago
1995
Springer
The development of a large information system is generally regarded as one of the most complex activities undertaken by organizations and it is dependent on the communication and u...
144
Voted
ICSE
2009
IEEE-ACM
15 years 11 months ago
2009
IEEE-ACM
The paper presents Save-IDE, an Integrated Development Environment for the development of component-based embedded systems. Save-IDE supports efficient development of dependable ...
130
click to vote
ER
2007
Springer
15 years 10 months ago
2007
Springer
Software systems embed in them knowledge about the domain in which they operate. However, this knowledge is “latent”. Making such knowledge accessible could be of great value ...
149
click to vote
ICSE
2010
IEEE-ACM
15 years 2 months ago
2010
IEEE-ACM
The development of video games comprises engineering teams within various disciplines, e.g., software engineering, game production, and creative arts. Game jams are a promising ap...
145
click to vote
DSN
2004
IEEE
15 years 8 months ago
2004
IEEE
It is often the case that safety-critical systems have to be reconfigured during operation because of issues such as changes in the system's operating environment or the fail...