online education research, skripsi, tesis, disertasi, penelitian,action research, statistical, sampling, research proposal, qualitative research,quantitative research,sampling methods

Topics in the summary of the AIS SIG http://plone.aisnet.org/ (word file)

Software Engineering Process:

• Tools
• Standards and Models
• Unified Process for Education (UPEDU)

Formal Methods (see FM Virtual Library) in the development of Software. (From Wikipedia: Formal methods are mathematical approaches to software and hardware development from requirements, specification and design programming and implementation. They form an important theoretical underpinnning for software engineering, especially where safety or security is involved. Formal methods are a useful adjunct to the software testing since they help avoid errors and can also give a framework for testing. For industrial use, the tool support is required.)

1. 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.)
2. Z-Specification/notation, Z is a formal (ie, 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 U.S.. 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)