Infoskripsi arrow Reference arrow Resource arrow Research Topics: Software Engineering




   


Research Topics: Software Engineering

Software Engineering Process:

  • Tools
  • Standards dan Models
  • Unified Process for Education (UPEDU)
  1. Developing, exploring, using, and modifying tools Open Source for Collaborartions : sun open source and collaboartion , Zimbra, TWiki, Open-XChange, Coefficient, Silk, ActiveCollab, Jive, Ignition Project, Hula Project, link collections
  2. Sun Java Software Applications and Case Studies see sun dan sun developer network (SDN)
  3. Developing, exploring, using and modifying tools IT-Forensics
  4. Developing, exploring, using and modifying tools Software-Testing
  5. Formal Methods (see FM Virtual Library) dalam pengembangan Software. (From Wikipedia: Formal methods are mathematical approaches to software and

Hardware computer-based system development from requirements, specification and design through to programming and implementation. They form an important theoretical underpinning for software engineering, especially where safety or security is involved. Formal methods are a useful adjunct to software testing since they help avoid errors and can also give a framework for testing. For industrial use, tool support is required.)
  • Alloy Analyzer, a tool developed by the Software Design Group for analyzing models written in Alloy, a simple structural modeling language based on first-order logic. The tool can generate instances of invariants, simulate the execution of operations (even those defined implicitly), and check user-specified properties of a model. Alloy and its analyzer have been used primarily to explore abstract software designs. Its use in analyzing code for conformance to a specification and as an automatic test case generator are being investigated in ongoing research projects.)
  • Z-Specification/notation, Z is a formal (i.e., mathematical) specification notation used by industry (especially in high-integraity systems) as part of the software (and hardware) development process in both Europe and the US. It has undergone international standardization under ISO/IEC JTC1/2 <!-- JTC1/2 –> WG19 on formal specification languages. The use of Z resulted in a UK Queen’s Award for Technological Achievement in 1992 for its use in the IBM CICS project and contributed towards one in 1990 for its use to specify the IEEE Standard for Binary Floating-Point Arithmetic (see Technical Monograph PRG-58)