Search results
Results from the WOW.Com Content Network
The International Conference on Automated Software Engineering (ASE) is a large annual software engineering conference. The first conference in the series was held in 1986. Between 1986 and 1990 the conference was known as Knowledge-Based Software Assistant (KBSA), between 1991 and 1996 the conference was known as Knowledge-Based Software Engineering (KBSE
International Journal of Software and Informatics; International Journal of Software Engineering and Knowledge Engineering; International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems; International Journal of Wavelets, Multiresolution and Information Processing; International Journal of Web Services Research
The International Journal of Software Engineering and Knowledge Engineering was founded in 1991 and is published by World Scientific, covering areas relating to software engineering and knowledge engineering and the connections between the two disciplines. Topics covered include object-oriented systems, rapid prototyping, logic programming, and ...
Innovations in Systems and Software Engineering: A NASA Journal is a peer-reviewed scientific journal of computer science covering systems and software engineering, including formal methods. It is published by Springer Science+Business Media on behalf of NASA .
IEEE Software is a bimonthly peer-reviewed magazine and scientific journal published by the IEEE Computer Society covering all aspects of software engineering, processes, and practices. Its mission is to be the best source of reliable, useful, peer-reviewed information for leading software practitioners—the developers and managers who want to ...
Conferences on software engineering: ASE – IEEE/ACM International Conference on Automated Software Engineering; ICSE – International Conference on Software Engineering; ICSR – International Conference on Software Reuse; TACAS - ETAPS International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Structural synthesis of programs (SSP) is a special form of (automatic) program synthesis that is based on propositional calculus.More precisely, it uses intuitionistic logic for describing the structure of a program in such a detail that the program can be automatically composed from pieces like subroutines or even computer commands.
AI engineering involves applying engineering principles and methodologies to create scalable, efficient, and reliable AI-based solutions. It merges aspects of data engineering and software engineering to create real-world applications in diverse domains such as healthcare, finance, autonomous systems, and industrial automation. [1] [2]