(2013, May) IEEE Software Vol. 30 (3) Institute of Electrical and Electronics Engineers (IEEE)

Library Home Bookshelves View by Type Using Search

Books Catalogs/Sales Lists Journals Reports Thesis/Dissertation

Search for Books Search for Journals Manage Subjects Statistics Books without DDC/LCC Top Unstructured Orphaned Articles

Bookshelves (DDC layout)Bookshelves (LCC layout)Latest Books

Advanced

Search inside 'IEEE Software' only

- Only viewable:

Reference Type	Journal (issue)
Journal	IEEE Software
Year	2013 (May)	Volume	30
Issue	< 3 >
Publisher	Institute of Electrical and Electronics Engineers (IEEE)
Mindat Ref. ID	15422600	Long-form Identifier	mindat:1:5:15422600:8
GUID	0
Full Reference	(2013, May) IEEE Software Vol. 30 (3) Institute of Electrical and Electronics Engineers (IEEE)
Plain Text	(2013, May) IEEE Software Vol. 30 (3) Institute of Electrical and Electronics Engineers (IEEE)
In	(2013) IEEE Software Vol. 30. Institute of Electrical and Electronics Engineers (IEEE)

Contains

	*(2013) Front Cover. IEEE Software, 30 (3) doi:10.1109/ms.2013.51*
	*(2013) IEEE Computer Society Membership Advertisement. IEEE Software, 30 (3) 1 doi:10.1109/ms.2013.53*
	*(2013) Table of Contents. IEEE Software, 30 (3) 2-3 doi:10.1109/ms.2013.62*
	*Shull, Forrest (2013) Sharing Your Story. IEEE Software, 30 (3) 4-7 doi:10.1109/ms.2013.56*
	*(2013) Digital IEEE Software Advertisement. IEEE Software, 30 (3) 8 doi:10.1109/ms.2013.50*
	*Uittenbogaard, Arjen (2013) Storytelling for Software Professionals. IEEE Software, 30 (3) 9-12 doi:10.1109/ms.2013.59*
	*Cleland-Huang, Jane (2013) Are Requirements Alive and Kicking?. IEEE Software, 30 (3) 13-15 doi:10.1109/ms.2013.47*
	*Booch, Grady (2013) In Defense of Boring. IEEE Software, 30 (3) 16-17 doi:10.1109/ms.2013.54*
	*Spinellis, Diomidis (2013) Systems Software. IEEE Software, 30 (3) 18-19 doi:10.1109/ms.2013.61*
	*Pech, Stephan (2013) Software Agents in Industrial Automation Systems. IEEE Software, 30 (3) 20-24 doi:10.1109/ms.2013.57*
	*Larrucea, Xabier, Combelles, Annie, Favaro, John (2013) Safety-Critical Software [Guest editors' introduction]. IEEE Software, 30 (3) 25-27 doi:10.1109/ms.2013.55*
	Ferrari, Alessio, Fantechi, Alessandro, Gnesi, Stefania, Magnani, Gianluca (2013) Model-Based Development and Formal Methods in the Railway Industry. IEEE Software, 30 (3) 28-34 doi:10.1109/ms.2013.44
	Kim, Youngjoo, Choi, Okjoo, Kim, Moonzoo, Baik, Jongmoon, Kim, Tai-Hyo (2013) Validating Software Reliability Early through Statistical Model Checking. IEEE Software, 30 (3) 35-41 doi:10.1109/ms.2013.24
	Carrozza, Gabriella, Faella, Mauro, Fucci, Francesco, Pietrantuono, Roberto, Russo, Stefano (2013) Engineering Air Traffic Control Systems with a Model-Driven Approach. IEEE Software, 30 (3) 42-48 doi:10.1109/ms.2013.20
	*(2013) IEEE Computer Society Jobs Board Advertisement. IEEE Software, 30 (3) 49 doi:10.1109/ms.2013.52*
	Moy, Yannick, Ledinot, Emmanuel, Delseny, Herve, Wiels, Virginie, Monate, Benjamin (2013) Testing or Formal Verification: DO-178C Alternatives and Industrial Experience. IEEE Software, 30 (3) 50-57 doi:10.1109/ms.2013.43
	*Mader, Patrick, Jones, Paul L., Zhang, Yi, Cleland-Huang, Jane (2013) Strategic Traceability for Safety-Critical Projects. IEEE Software, 30 (3) 58-66 doi:10.1109/ms.2013.60*
	*Jeppu, Yogananda (2013) Flight Control Software: Mistakes Made and Lessons Learned. IEEE Software, 30 (3) 67-72 doi:10.1109/ms.2013.42*
	*Cano, Jesus, Hernandez, Roberto (2013) SCEPYLT: An Information System for Fighting Terrorism. IEEE Software, 30 (3) 73-79 doi:10.1109/ms.2013.23*
	*Obrenovic, Zeljko (2013) Software Sketchifying: Bringing Innovation into Software Development. IEEE Software, 30 (3) 80-86 doi:10.1109/ms.2012.71*
	*Rutkowski, Anne-Francoise, Saunders, Carol, Hatton, Les (2013) The Generational Impact of Software. IEEE Software, 30 (3) 87-89 doi:10.1109/ms.2013.63*
	*Menzies, Tim (2013) Beyond Data Mining. IEEE Software, 30 (3) 92 doi:10.1109/ms.2013.49*

	*(2013, January) IEEE Software* Vol. 30 (1) Institute of Electrical and Electronics Engineers (IEEE)**
	*(2013, March) IEEE Software* Vol. 30 (2) Institute of Electrical and Electronics Engineers (IEEE)**
	*(2013, July) IEEE Software* Vol. 30 (4) Institute of Electrical and Electronics Engineers (IEEE)**
	*(2013, September) IEEE Software* Vol. 30 (5) Institute of Electrical and Electronics Engineers (IEEE)**
	*(2013, November) IEEE Software* Vol. 30 (6) Institute of Electrical and Electronics Engineers (IEEE)**
	*(2024, May) IEEE Software* Vol. 41 (3) Institute of Electrical and Electronics Engineers (IEEE)**
	*(1987, May) IEEE Software* Vol. 4 (3) Institute of Electrical and Electronics Engineers (IEEE)**
	*(1988, May) IEEE Software* Vol. 5 (3) Institute of Electrical and Electronics Engineers (IEEE)**
	*(1989, May) IEEE Software* Vol. 6 (3) Institute of Electrical and Electronics Engineers (IEEE)**
	*(1990, May) IEEE Software* Vol. 7 (3) Institute of Electrical and Electronics Engineers (IEEE)**
	*(1991, May) IEEE Software* Vol. 8 (3) Institute of Electrical and Electronics Engineers (IEEE)**

Mindat.org is an outreach project of the Hudson Institute of Mineralogy, a 501(c)(3) not-for-profit organization.
Copyright © mindat.org and the Hudson Institute of Mineralogy 1993-2025, except where stated. Most political location boundaries are © OpenStreetMap contributors. Mindat.org relies on the contributions of thousands of members and supporters. Founded in 2000 by Jolyon Ralph.
To cite: Ralph, J., Von Bargen, D., Martynov, P., Zhang, J., Que, X., Prabhu, A., Morrison, S. M., Li, W., Chen, W., & Ma, X. (2025). Mindat.org: The open access mineralogy database to accelerate data-intensive geoscience research. American Mineralogist, 110(6), 833–844. doi:10.2138/am-2024-9486.
Privacy Policy - Terms & Conditions - Contact Us / DMCA issues - Report a bug/vulnerability Current server date and time: September 14, 2025 11:00:56

Go to top of page

(2013, May) IEEE Software Vol. 30 (3) Institute of Electrical and Electronics Engineers (IEEE)

Contains

See Also