Sciweavers

1251 search results - page 39 / 251
» A Method for Component-Based Software and System Development
Sort
View
ERSHOV
2006
Springer
15 years 6 months ago
Formal Methods in Industrial Software Standards Enforcement
The article presents an approach to development of software standards usage infrastructure. The approach is based on formalization of standards and automated conformance test deriv...
Alexey Grinevich, Alexey V. Khoroshilov, Victor V....
158
Voted
ICSM
2005
IEEE
15 years 8 months ago
Contract-Based Mutation for Testing Components
Testing plays an important role in the maintenance of Component Based Software Development. Test adequacy for component testing is one of the hardest issues for component testing....
Ying Jiang, Shan-Shan Hou, Jinhui Shan, Lu Zhang, ...
JUCS
2008
105views more  JUCS 2008»
15 years 2 months ago
Taxonomy for Integrating Models in the Development of Interactive Groupware Systems
: This paper describes the taxonomy for designing interactive groupware systems. The taxonomy defines the objectives, methods and principles for classifying models and facilitates ...
William J. Giraldo, Ana I. Molina, César A....
XPU
2005
Springer
15 years 8 months ago
Agile Methods for Embedded Systems
The main goal to be answered by this Ph.D. thesis is whether there is a potential for a successful and powerful application of agile methods and related techniques to embedded syst...
Dirk Wilking
111
Voted
CSEE
2000
Springer
15 years 6 months ago
Technology Transfer Issues for Formal Methods of Software Specification
Accurate and complete requirements specifications are crucial for the design and implementation of high-quality software. Unfortunately, the articulation and verification of softw...
Ken Abernethy, John C. Kelly, Ann E. Kelley Sobel,...