219 search results - page 15 / 44 » PrIMe: a software engineering methodology for developing pro... |
ICSM
2006
IEEE
14 years 2 months ago
2006
IEEE
Software design patterns are documented best practice solutions that can be applied to reoccurring problems. Although well documented, there are often opportunities to apply them ...
CODES
2009
IEEE
14 years 3 months ago
2009
IEEE
Multiprocessor System-on-Chips (MPSoCs) are nowadays widely used, but the problem of their software development persists to be one of the biggest challenges for developers. Virtua...
SEKE
1993
Springer
14 years 23 days ago
1993
Springer
Many reported difficulties with real-life applications of knowledge-based technology stem from the fact that the traditionally performed prototyping projects are hard to manage an...
HICSS
2007
IEEE
14 years 3 months ago
2007
IEEE
Service-Oriented Computing (SOC) enables the development and design of loosely coupled software components for integration with other software system. Since most legacy system wer...
TPHOL
1998
IEEE
14 years 28 days ago
1998
IEEE
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...