Sciweavers

6722 search results - page 466 / 1345
» Reuse-Conducive Development Environments
Sort
View
ICECCS
2007
IEEE
95views Hardware» more  ICECCS 2007»
16 years 1 months ago
A Formal Contract Language for Plugin-based Software Engineering
Abstract—Plugin-based application design has become increasingly popular in recent years, and has contributed to the success of a range of very different applications including ...
Jens Dietrich, John G. Hosking, Jonathan Giles
AIME
2007
Springer
16 years 1 months ago
Knowledge-Based Modeling and Simulation of Diseases with Highly Differentiated Clinical Manifestations
This paper presents the cognitive model of gastroesophageal reflux disease (GERD) developed for the Maryland Virtual Patient simulation and mentoring environment. GERD represents a...
Marjorie McShane, Sergei Nirenburg, Stephen Beale,...
ICFEM
2007
Springer
16 years 1 months ago
Formal Engineering of XACML Access Control Policies in VDM++
We present a formal, tool-supported approach to the design and maintenance of access control policies expressed in the eXtensible Access Control Markup Language (XACML). Our aim is...
Jeremy Bryans, John S. Fitzgerald
IFIP
2007
Springer
16 years 1 months ago
A Case Study on the Impact of Refactoring on Quality and Productivity in an Agile Team
Refactoring is a hot and controversial issue. Supporters claim that it helps increasing the quality of the code, making it easier to understand, modify and maintain. Moreover, the...
Raimund Moser, Pekka Abrahamsson, Witold Pedrycz, ...
IEEECIT
2006
IEEE
16 years 28 days ago
The Partitioning Methodology in Hardware/Software Co-Design Using Extreme Programming: Evaluation through the Lego Robot Project
This paper argues about the partitioning in hardware/software co-design and suggests the methodology applying extreme programming to complement the co-design. This approach, contr...
Heeseo Chae, Dong-hyun Lee, Jiyong Park, Hoh Peter...