Software Methodologies at Risk
EKAW '99 Proceedings of the 11th European Workshop on Knowledge Acquisition, Modeling and Management
Management of Object Oriented Development based on Ranked Use Cases
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
Models, Formalisms and Methods for Object-Oriented Distributed Computing (ECOOP Workshop)
ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
On the Verification of an Expert System: Practical Issues
IEA/AIE '02 Proceedings of the 15th international conference on Industrial and engineering applications of artificial intelligence and expert systems: developments in applied artificial intelligence
Towards the Validation of Inductive Learning Systems
ALT '98 Proceedings of the 9th International Conference on Algorithmic Learning Theory
ICN '01 Proceedings of the First International Conference on Networking-Part 1
ROAD/EE: A Prototyping Environment for Object-Oriented Specifications
TOOLS '97 Proceedings of the Tools-23: Technology of Object-Oriented Languages and Systems
Scenario support for effective requirements
Information and Software Technology
Toward a theory of validation of hybrid minmax FuzzyNeuro systems
MMACTEE'08 Proceedings of the 10th WSEAS International Conference on Mathematical Methods and Computational Techniques in Electrical Engineering
Analytical verification of information system requirements using petri net properties
Information and Software Technology
The verification and validation of fuzzy knowledge in planning systems
CIT'09 Proceedings of the 3rd International Conference on Communications and information technology
Towards quality-aware development and evolution of enterprise information systems
Proceedings of the 2010 ACM Symposium on Applied Computing
Verification and validation of fuzzy knowledge in planning systems
ACE'10 Proceedings of the 9th WSEAS international conference on Applications of computer engineering
ACM SIGSOFT Software Engineering Notes
Host frame user interface and its architecture
ICCOMP'10 Proceedings of the 14th WSEAS international conference on Computers: part of the 14th WSEAS CSCC multiconference - Volume I
Is my model right? Let me ask the expert
Journal of Systems and Software
The brave new world of design requirements
Information Systems
Program slice distribution functions
Winter Simulation Conference
Supply chain redesign for resilience using simulation
Computers and Industrial Engineering
Verification and Validation of UML Conceptual Schemas with OCL Constraints
ACM Transactions on Software Engineering and Methodology (TOSEM)
Model-Based consistency checks of electric and electronic architectures against requirements
MODELS'11 Proceedings of the 2011th international conference on Models in Software Engineering
Rigorous development of prompting dialogues
Journal of Biomedical Informatics
Dependability modeling and analysis of software systems specified with UML
ACM Computing Surveys (CSUR)
Hi-index | 0.00 |
These recommendation provide a good starting point for identifying and resolving software problems early in life cycle when they're s relatively easy to handle