Sciweavers

7206 search results - page 1125 / 1442
» Using a Hypermedia System for Systems Engineering
Sort
View
RE
2004
Springer
15 years 10 months ago
Architecture-driven Problem Decomposition
Jackson’s Problem Frames provide a means of analysing and decomposing problems. They emphasise the world outside the computer helping the developer to focus on the problem domai...
Lucia Rapanotti, Jon G. Hall, Michael Jackson, Bas...
VMCAI
2004
Springer
15 years 10 months ago
Applying Jlint to Space Exploration Software
Abstract. Java is a very successful programming language which is also becoming widespread in embedded systems, where software correctness is critical. Jlint is a simple but highly...
Cyrille Artho, Klaus Havelund
APSEC
2003
IEEE
15 years 10 months ago
PAORE: Package Oriented Requirements Elicitation
We propose a new requirements elicitation method in such a domain of ERP, CRM, and SCM by using specifications of several existing package software. We have analyzed the requirem...
Junzo Kato, Morio Nagata, Shuichiro Yamamoto, Moto...
116
Voted
APSEC
2003
IEEE
15 years 10 months ago
JINI/J2EE Bridge for Large-scale IP Phone Services
Current IP phone architectures which bring phone services to a distributed open environment are eraltively static and do not scale well. An IP phone environment should be more dyn...
Jia Yu, Jan Newmarch, Michael Geisler
CGO
2003
IEEE
15 years 10 months ago
Retargetable and Reconfigurable Software Dynamic Translation
Software dynamic translation (SDT) is a technology that permits the modification of an executing program’s instructions. In recent years, SDT has received increased attention, f...
Kevin Scott, Naveen Kumar, S. Velusamy, Bruce R. C...
« Prev « First page 1125 / 1442 Last » Next »