Defect Handling in Medium and Large Open Source Projects
IEEE Software
The Education of a Software Engineer
Proceedings of the 19th IEEE international conference on Automated software engineering
Tool-Supported Verification of Product Line Requirements
Automated Software Engineering
On the Use of Error Propagation for Statistical Validation of Computer Vision Software
IEEE Transactions on Pattern Analysis and Machine Intelligence
Predicting the Probability of Change in Object-Oriented Systems
IEEE Transactions on Software Engineering
Is abstraction the key to computing?
Communications of the ACM
Towards the development of a rigorous model-driven domain-specific software engineering environment
ACST'07 Proceedings of the third conference on IASTED International Conference: Advances in Computer Science and Technology
Design and code reviews in the age of the internet
Communications of the ACM - Enterprise information integration: and other tools for merging data
Quality Factors and Coding Standards -- a Comparison Between Open Source Forges
Electronic Notes in Theoretical Computer Science (ENTCS)
The Knowledge Engineering Review
Why is the web loosely coupled?: a multi-faceted metric for service design
Proceedings of the 18th international conference on World wide web
Conceptual data model-based software size estimation for information systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Credibility On-Line: Quality Metrics for Evaluation
OCSC '09 Proceedings of the 3d International Conference on Online Communities and Social Computing: Held as Part of HCI International 2009
Model checking of healthcare domain models
Computer Methods and Programs in Biomedicine
Developing an environment for embedded software energy estimation
Computer Standards & Interfaces
On The Roles of APIs in the Coordination of Collaborative Software Development
Computer Supported Cooperative Work
Modeling time in computing: A taxonomy and a comparative survey
ACM Computing Surveys (CSUR)
Epistemological justification of test driven development in agile processes
XP'07 Proceedings of the 8th international conference on Agile processes in software engineering and extreme programming
Software engineering principles: a survey and an analysis
Proceedings of the Third C* Conference on Computer Science and Software Engineering
Colex: a web-based collaborative conflict lexicon
Proceedings of the 1st International Workshop on Model Comparison in Practice
Applying Software Engineering Principles for Designing Cloud@Home
CCGRID '10 Proceedings of the 2010 10th IEEE/ACM International Conference on Cluster, Cloud and Grid Computing
Murphy loves potatoes: experiences from a pilot sensor network deployment in precision agriculture
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
The state of the art in end-user software engineering
ACM Computing Surveys (CSUR)
Advances in Software Engineering - Special issue on new generation of software metrics
Lessons learned from an open-source university project
ICCOMP'06 Proceedings of the 10th WSEAS international conference on Computers
The brave new world of design requirements
Information Systems
A system of patterns for reusable aspect libraries
Transactions on aspect-oriented software development VIII
Modern software engineering methodologies meet data warehouse design: 4WD
DaWaK'11 Proceedings of the 13th international conference on Data warehousing and knowledge discovery
SMA: the smyle modeling approach
CEE-SET'08 Proceedings of the Third IFIP TC 2 Central and East European conference on Software engineering techniques
Feature interactions, products, and composition
Proceedings of the 10th ACM international conference on Generative programming and component engineering
Realism in project-based software engineering courses: rewards, risks, and recommendations
ISCIS'06 Proceedings of the 21st international conference on Computer and Information Sciences
An approach to integration testing based on data flow specifications
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Process technology to facilitate the conduct of science
SPW'05 Proceedings of the 2005 international conference on Unifying the Software Process Spectrum
Automatic cross validation of multiple specifications: a case study
FASE'10 Proceedings of the 13th international conference on Fundamental Approaches to Software Engineering
Abstract interpretation-based verification of non-functional requirements
COORDINATION'05 Proceedings of the 7th international conference on Coordination Models and Languages
The TACO approach for traceability and communication of requirements
SAFECOMP'05 Proceedings of the 24th international conference on Computer Safety, Reliability, and Security
ICSR'06 Proceedings of the 9th international conference on Reuse of Off-the-Shelf Components
The challenges of software engineering education
ICSE'05 Proceedings of the 2005 international conference on Software Engineering Education in the Modern Age
Extending the capability concept for flexible BDI agent modularization
ProMAS'05 Proceedings of the Third international conference on Programming Multi-Agent Systems
Contact center: information systems design
Journal of Intelligent Manufacturing
Graph-based analysis and prediction for software evolution
Proceedings of the 34th International Conference on Software Engineering
Refounding software engineering: the semat initiative (invited presentation)
Proceedings of the 34th International Conference on Software Engineering
An introduction to model versioning
SFM'12 Proceedings of the 12th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: formal methods for model-driven engineering
The Evolution of IETF Standards and their Production
International Journal of IT Standards and Standardization Research
Dynamic profiling-based approach to identifying cost-effective refactorings
Information and Software Technology
Automatic testing of sequential and concurrent substitutability
Proceedings of the 2013 International Conference on Software Engineering
Proceedings of the 2013 International Conference on Software Engineering
Proceedings of the 2013 International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools
A web-centred approach to end-user software engineering
ACM Transactions on Software Engineering and Methodology (TOSEM) - Testing, debugging, and error handling, formal methods, lifecycle concerns, evolution and maintenance
Is this a bug or an obsolete test?
ECOOP'13 Proceedings of the 27th European conference on Object-Oriented Programming
Hi-index | 0.02 |
From the Publisher:This book provides selective, in-depth coverage of the fundamentals of software engineering by stressing principles and methods through rigorous formal and informal approaches. In contrast to other books which are based on the lifecycle model of software development, the authors emphasize identifying and applying fundamental principles that are applicable throughout the software lifecycle. This emphasis enables readers to respond to the rapid changes in technology that are common today. Principles and techniques are emphasized rather than specific toolsusers learn why particular techniques should or should not be used. Understanding the principles and techniques on which tools are based makes mastering a variety of specific tools easier. The authors discuss principles such as design, specification, verification, production, management and tools. Now coverage includes: more detailed analysis and explanation of object-oriented techniques; the use of Unified Modeling Language (UML); requirements analysis and software architecture; Model checkinga technique that provides automatic support to the human activity of software verification; GQMused to evaluate software quality and help improve the software process; Z specification language. For software engineers.