1988 search results - page 277 / 398 » Engineering formal metatheory |
171
click to vote
APSEC
2008
IEEE
16 years 28 days ago
2008
IEEE
Memory usage analysis is an important problem for resource-constrained mobile devices, especially under mission- or safety-critical circumstances. Program codes running on or bein...
141
click to vote
ASWEC
2008
IEEE
16 years 28 days ago
2008
IEEE
Software developers’ work is much more interesting and multifarious in practice than formal definitions of software development processes imply. Rational models of work are ofte...
150
click to vote
CEC
2008
IEEE
16 years 28 days ago
2008
IEEE
— Many tasks in Software Engineering are very expensive, and that has led the investigation to how to automate them. In particular, Software Testing can take up to half of the re...
152
click to vote
ICST
2008
IEEE
16 years 26 days ago
2008
IEEE
Testing remains a major challenge for model transformation development. Test models that are used as test data for model transformations, are constrained by various sources of kno...
140
click to vote
IWPC
2008
IEEE
16 years 25 days ago
2008
IEEE
Libraries are the most widespreaded form of software reuse. In order to properly use a library API, its clients should fulfill a series of (many times implicit) assumptions made ...