Sciweavers

3901 search results - page 164 / 781
» software 2008
Sort
View
TAP
2008
Springer
144views Hardware» more  TAP 2008»
15 years 4 months ago
Integrating Verification and Testing of Object-Oriented Software
Formal methods can only gain widespread use in industrial software development if they are integrated into software development techniques, tools, and languages used in practice. A...
Christian Engel, Christoph Gladisch, Vladimir Kleb...
178
Voted
AICCSA
2008
IEEE
254views Hardware» more  AICCSA 2008»
15 years 6 months ago
Integrating software development security activities with agile methodologies
Because of several vulnerabilities in software products and high amount of damage caused by them, software developers are enforced to produce more secure systems. Software grows u...
Hossein Keramati, Seyed-Hassan Mirian-Hosseinabadi
KBSE
2008
IEEE
15 years 10 months ago
Using dependency model to support software architecture evolution
Evolution of software systems is characterized by inevitable changes of software and increasing software complexity, which in turn may lead to huge maintenance and development cos...
Hongyu Pei Breivold, Ivica Crnkovic, Rikard Land, ...
SOFTWARE
2002
15 years 4 months ago
Quality Attributes of Web Software Applications
In only four or five years, the world wide web has changed from a static collection of HTML web pages to a dynamic engine that powers e-commerce, collaborative work, and distribut...
A. Jefferson Offutt
ICECCS
2008
IEEE
3385views Hardware» more  ICECCS 2008»
15 years 11 months ago
Contract-Based Approach to Analyze Software Components
Component-based software development focuses on building large software systems by integrating existing software components to reduce cost, risk and time. However, behavioural and...
Abdelhafid Zitouni, Lionel Seinturier, Mahmoud Bou...